Merge proposals

Stinger has no merge proposals.