Greg Wilkins f15bd225b4 Merge remote-tracking branch 'origin/jetty-9.4.x' into jetty-10.0.x		2018-08-21 14:47:19 +10:00
..
src/main/java/org/eclipse/jetty/osgi/boot	Fix typos detected by github.com/client9/misspell	2018-08-10 23:52:16 +09:00
build.properties	…
pom.xml	Updating to version 9.4.12-SNAPSHOT	2018-07-11 17:32:16 -05:00