Merge proposals

dist in Ubuntu has no merge proposals.