Merge proposals

Ratis has no merge proposals.