Merge proposals

mirror.js in Ubuntu has no merge proposals.