Merge proposals

pius in Ubuntu has no merge proposals.