Merge proposals

aterm in Ubuntu has no merge proposals.