Merge proposals

Yuri Glushkov has no merge proposals.