jetty.project
jetty.project copied to clipboard
Jetty 12.0.x batch of upgrades
Hold off on merging this until we are done with 12.0.11 release.
Btw, you could use the ./build/scripts/dependency-update.sh script to accomplish this too.