Merge proposals

PGsm has no merge proposals.