Merge proposals

muon-front-end has no merge proposals.