Jan Bartel 2a90cabec4 Merge remote-tracking branch 'origin/jetty-12.0.x' into jetty-12.1.x		2024-08-22 18:20:38 +10:00
..
src/main/java/org/eclipse/jetty/maven	Fix order of jetty.http.port property for jetty maven plugin (#12183)	2024-08-22 18:19:44 +10:00
pom.xml	Updating to version 12.0.13-SNAPSHOT	2024-07-25 17:23:21 -05:00