Merge proposals

PRAgMaTIc has no merge proposals.