mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
6b931afa7c
Allow antoine@ an opportunity to delete this port for the 3rd time today.