Merge proposals

redet in Ubuntu has no merge proposals.