Merge proposals

gnome-themes-extra in Ubuntu has no merge proposals.