Merge proposals

nslint in Ubuntu has no merge proposals.