- Make portlint happier PR: ports/155707 [1] Submitted by: Zhihao Yuan <lichray_AT_gmail_DOT_com> [1]