Merge proposals

acheck in Ubuntu has no merge proposals.