jetty: 12.1.2 -> 12.1.3

2025-10-21 01:59:25 +00:00
parent f1d065ea27
commit 1440d8f55f
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=";
  };
 }