Merge proposals

Bernard has no merge proposals.