olivier lamy a36af67abf Merge branch 'jetty-9.4.x' into jetty-10.0.x		2019-08-22 20:45:57 +10:00
..
main	Merge remote-tracking branch 'origin/jetty-9.4.x' into jetty-10.0.x	2019-06-25 11:16:53 +02:00
test/java/org/eclipse/jetty/jndi	fix checkstyle in test sources (#4013)	2019-08-22 19:56:41 +10:00