[patch] Added options and update tomcat85 version from 8.5.13 to 8.5.14
tomcat85.diff (text/plain), 70.27 KB, created by Vladimir Druzenko on 2017-05-06 14:40:20 UTC
(hide)
 
Creator: Vladimir Druzenko
Created: 2017-05-06 14:40:20 UTC
Size: 70.27 KB

Flags:

vvd: maintainer-approval+
Actions: View | Diff
Attachments on bug 218863: 182067 | 182334