Merge proposals

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