Folks, This is embarrassing, but I've unwillingly pushed what should have been an update branch ready for a PR directly onto master (root cause: bug in a script I used). The commit is https://github.com/macports/macports-ports/commit/dec043893a250626d8f08b76b2f6d17ad30406d0
I've reverted it, apologies for the noise in master. Thanks in advance, Enrico
