Merge proposals

aevol in Ubuntu has no merge proposals.