Merge proposals

mithril in Ubuntu has no merge proposals.