Merge pull request #308096 from anthonyroussel/update-jetty_12

jetty: 12.0.7 -> 12.0.8
This commit is contained in:
Pol Dellaiera 2024-05-01 23:03:12 +02:00 committed by GitHub
commit d10184dee2
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.7";
hash = "sha256-n85MgRRWCaa7+KvGH1QyiQ03TFoAw7N2jPCJbmuGZNg=";
version = "12.0.8";
hash = "sha256-lmlt2bjomXl7UWu3FDUBSLGv0oyXV/8kPhRCtfSUW7w=";
}