Merge proposals

3-rs has no merge proposals.