Greg Wilkins 12d66f083a Merge remote-tracking branch 'origin/jetty-11.0.x' into jetty-12.0.x		2022-12-20 11:20:39 +11:00
..
src/it	Merge remote-tracking branch 'origin/jetty-11.0.x' into jetty-12.0.x	2022-12-20 11:20:39 +11:00
pom.xml	simplify poms, add back missing changes from #7850 and #7687 (#8697)	2022-10-10 12:52:40 +10:00