Merge proposals

gjots2 in Ubuntu has no merge proposals.