Merge proposals

Denis Lemire has no merge proposals.