Merge proposals

darkmint-gtk-theme in Ubuntu has no merge proposals.