Merge proposals

rEFInd has no merge proposals.