Merge Proposal Status
Merged Proposals
These proposals have been merged in the past.
Closed Proposals
Proposals can be closed without being merged for a number of reasons - a similar change has already been applied, the change was rejected or the change was merged without history being referenced (i.e. in the case of a cherry-pick.