Merge proposals

libm4ri in Ubuntu has no merge proposals.