Merge proposals

tiptop in Ubuntu has no merge proposals.