mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
4472e4fe42
PR: ports/169509 Submitted by: Pierre David <pdagog@gmail.com>, Jean Benoit <jean@unistra.fr> Feature safe: yes