Merge proposals

relint-el in Ubuntu has no merge proposals.