Merge proposals

widemargin in Ubuntu has no merge proposals.