From fa9c8bb1b14c035f6bcd4284020f0088a1be744a Mon Sep 17 00:00:00 2001 From: Anthony Roussel Date: Sun, 14 Jul 2024 20:44:30 +0200 Subject: [PATCH] jetty_12: 12.0.9 -> 12.0.11 https://github.com/jetty/jetty.project/releases/tag/jetty-12.0.11 https://github.com/jetty/jetty.project/releases/tag/jetty-12.0.10 --- pkgs/servers/http/jetty/12.x.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/servers/http/jetty/12.x.nix b/pkgs/servers/http/jetty/12.x.nix index e35533d547a9..0bbcb76e03a3 100644 --- a/pkgs/servers/http/jetty/12.x.nix +++ b/pkgs/servers/http/jetty/12.x.nix @@ -1,4 +1,4 @@ import ./common.nix { - version = "12.0.9"; - hash = "sha256-+/pn6Q24QDTaK+Slr+B17fshEXXh6sO1DWRuFGfi2h0="; + version = "12.0.11"; + hash = "sha256-5fZMHb2ZpkoAFY/v124F+99Kq9vZypSYrG8QmQ/RK6k="; }