Merge proposals

gitbatch in Ubuntu has no merge proposals.