https://bz.apache.org/bugzilla/show_bug.cgi?id=58530
--- Comment #10 from Chuck Caldarale <chuck.caldar...@unisys.com> --- (In reply to Ognjen Blagojevic from comment #9) > Should new theme replace the old one, or should it be just one additional > skin for the manager GUI, so user may decide whether to use the old GUI or > the new one? Replace - maintaining both is too much work. -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
