Merge proposals

gray-theme in Ubuntu has no merge proposals.