mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-07 11:49:40 +00:00
![John Marino](/assets/img/avatar_default.png)
No revbump necessary as the port would always fail to build if DOCS option was disabled. PR: 208994 Submitted by: Anton Sayetsky
No revbump necessary as the port would always fail to build if DOCS option was disabled. PR: 208994 Submitted by: Anton Sayetsky