mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
a9f6c0f420
- Trim header PR: ports/173148 [1] Submitted by: Rainer Hurling <rhurlin@gwdg.de> (maintainer) [1] Feature safe: yes