While I'm here: * switch to DISTVERSION * pet portfmt PR: 283870 Reported by: Graham Perrin <grahamperrin@gmail.com> Approved by: Bob Eager <bob@eager.cx> (maintainer)
