jetty: 12.0.19 -> 12.0.20

2025-05-05 13:46:59 +02:00
parent 9cacd7ee42
commit f0f193f794
1 changed files with 2 additions and 2 deletions
@@ -57,7 +57,7 @@ in
  };

  jetty_12 = common {
-    version = "12.0.19";
-    hash = "sha256-rURjebDGDVNILjrim8zBTp5SvIFkWKxpC+oi8b5FTj8=";
+    version = "12.0.20";
+    hash = "sha256-t8BY/vRYdrKHiUfyDp+THNFYyHOW1dOL1SilpZFK32o=";
  };
 }