Merge proposals

guile-gnome-platform in Ubuntu has no merge proposals.