Merge pull request #310877 from emmanuelrosa/jetty-12.0.9

jetty: 12.0.8 -> 12.0.9
This commit is contained in:
Pol Dellaiera 2024-06-02 13:54:46 +02:00 committed by GitHub
commit d89843551b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,4 +1,4 @@
import ./common.nix {
version = "12.0.8";
hash = "sha256-lmlt2bjomXl7UWu3FDUBSLGv0oyXV/8kPhRCtfSUW7w=";
version = "12.0.9";
hash = "sha256-+/pn6Q24QDTaK+Slr+B17fshEXXh6sO1DWRuFGfi2h0=";
}