[patch] Update tomcat85 version from 8.5.12 to 8.5.13
tomcat85.diff (text/plain), 781 bytes, created by Vladimir Druzenko on 2017-04-08 14:58:44 UTC
(hide)
 
Creator: Vladimir Druzenko
Created: 2017-04-08 14:58:44 UTC
Size: 781 bytes

Flags:

vvd: maintainer-approval+
Actions: View | Diff
Attachments on bug 218491: 181597