mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
d743e3a94f
PR: ports/48867 Submitted by: maintainer Noticed by: Michael Ebert <ebert@informatik.unibw-muenchen.de>