Merge proposals

issuemanager has no merge proposals.