Merge proposals

bart in Ubuntu has no merge proposals.