Jan Bartel c115b4a229 Issue #1597
A change to jetty-jndi/pom.xml was not merged from jetty-9.4.x
2017-06-09 20:15:22 +02:00
..
2017-06-09 20:15:22 +02:00