Merge proposals

GNU Make has no merge proposals.