[Bug 238542] devel/gitblit: Switch to newer tomcat?

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=238542

            Bug ID: 238542
           Summary: devel/gitblit: Switch to newer tomcat?
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs at FreeBSD.org
          Reporter: tobik at freebsd.org
                CC: freebsd at dussan.org
            Blocks: 230326
             Flags: maintainer-feedback?(freebsd at dussan.org)
                CC: freebsd at dussan.org

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
www/tomcat9?


Referenced Bugs:

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=230326
[Bug 230326] www/tomcat8: deprecate and remove port
-- 
You are receiving this mail because:
You are the assignee for the bug.