Merge proposals

6-info-a has no merge proposals.