Thomas Gerbet 1fd6d6120b jetty: 12.0.1 -> 12.0.2 ... Fixes CVE-2023-44487. https://github.com/jetty/jetty.project/releases/tag/jetty-12.0.2		2023-10-22 14:33:45 +02:00
..
default.nix	jetty: 12.0.1 -> 12.0.2	2023-10-22 14:33:45 +02:00