- Make portlint happier PR: ports/87838 [1] Submitted by: Vasil Dimov <vd@datamax.bg> [1] Reported by: kris [1]