mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
7047959f24
was to test what happened when we did eventually delete these two ports, not to delete them immediately. A subsequent commit will add appropriate deprecation messages. Hat: portmgr PR: ports/165457 Feature safe: yes (actually no, however, this is to preserve POLA)