Merge proposals

Francois-Denis Gonthier has no merge proposals.