jetty.project/jetty-ee9/jetty-ee9-webapp
Joakim Erdfelt 9c324326c5
Merge `release/12.0.0` back into `jetty-12.0.x` (#10237)
* Updating to version 12.0.0

* Updating to version 12.0.1-SNAPSHOT
2023-08-08 00:55:19 +02:00
..
src Ensure WorkDir field is public 2023-07-31 11:44:11 -05:00
pom.xml Merge `release/12.0.0` back into `jetty-12.0.x` (#10237) 2023-08-08 00:55:19 +02:00