Merge proposals

Michelet has no merge proposals.