Merge proposals

paulstretch in Ubuntu has no merge proposals.