Merge proposals

Stéphane Verdy has no merge proposals.