Merge proposals

Rémi Denis-Courmont has no merge proposals.