Merge proposals

gnomint in Ubuntu has no merge proposals.