mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-08 12:01:56 +00:00
![Ernst de Haan](/assets/img/avatar_default.png)
previously already set to jakarta-tomcat[VERSION], but this was not consistent with the jakarta-tomcat5 port. PR: 63210 Submitted by: Kang Liu <liukang@bjpu.edu.cn>