www/tomcat8 is expiring on 2019-06-30. devel/gitblit has a TOMCAT8 option which
might be removed at that point. Can it be switched over to use www/tomcat85 or
Last update is three years old.
A commit references this bug:
Date: Mon Jul 1 07:49:26 UTC 2019
New revision: 505550
www/gitblit: Drop non-default TOMCAT8 option
www/tomcat8 is expiring.
Approved by: firstname.lastname@example.org (maintainer timeout, ~2.5 weeks)