Merge proposals

eq10q in Ubuntu has no merge proposals.