Merge proposals

gudev-sharp-3.0 in Ubuntu has no merge proposals.