mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
![Pav Lucistnik](/assets/img/avatar_default.png)
- Use new PHP infrastructure PR: ports/69778 Submitted by: Alex Varju <varju@webct.com> (maintainer)
- Use new PHP infrastructure PR: ports/69778 Submitted by: Alex Varju <varju@webct.com> (maintainer)