On Fri, 11 May 2018, Joe Marcus Clarke wrote: > Update to 2.18.0. Enough has happened that it's time for a minor bump. Thank you for maintaining portlint so well for us, Joe. It does make a difference. Gerald