jetty: 12.1.2 -> 12.1.3 (#454064)

2025-10-21 15:16:32 +00:00
parent 9f257b61e4 1440d8f55f
commit 6cb24b770c
1 changed files with 2 additions and 2 deletions
@@ -57,7 +57,7 @@ in
  };

  jetty_12 = common {
-    version = "12.1.2";
-    hash = "sha256-GtaEIXqOSutgrSJJ/+oFuGSe7y8omVX7sBgcG3GJzvs=";
+    version = "12.1.3";
+    hash = "sha256-+DCfP0tFBouTZqOEzCFaQ4dl78xPFudUzS9hAzUkc7Y=";
  };
 }