Revert "Upgrade to Jetty 12.0.2"

This reverts commit 8080c5d4e8.

See gh-37803
This commit is contained in:
Andy Wilkinson
2023-10-10 12:27:38 +01:00
parent 8a97ff31ae
commit 7b1059a4b5

View File

@@ -677,7 +677,7 @@ bom {
]
}
}
library("Jetty", "12.0.2") {
library("Jetty", "12.0.1") {
group("org.eclipse.jetty.ee10") {
imports = [
"jetty-ee10-bom"