- Make portlint(1) happy [2] PR: ports/92754 [1] Submitted by: maintainer [1] Reported by: kris [1] Approved by: maintainer [2]