Merge proposals

bochs in Ubuntu has no merge proposals.