This port will be removed on 2020-12-31 if not fixed
This seems to have already expired, I'm not sure why it hasn't been deleted yet.
(In reply to Steve Wills from comment #1)
I think the script that rene@ uses don't remove ports with open PRs.
CCing rene@ here.
This can happen for other ports related to bug 249337 as well.
(In reply to Danilo G. Baio from comment #2)
@dbaio : correct, Tools/scripts/rmport does not remove ports with PRs against them nor ports that are a dependency of other ports (either through INDEX or by grep in Makefile* ) but you can override that.
(In reply to Rene Ladan from comment #3)
Thanks rene@, closing this PR because the port is already expired (2020-08-15).