On 28 Feb 2018, at 14:58, Ryan Schmidt <[email protected]> wrote: > I wouldn't completely change the whitespace of someone else's port, even > after a maintainer timeout. But I would correct whitespace mistakes in > someone else's port after a suitable timeout.
Shouldn't port lint be the rule here?
