mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-15 02:54:49 +00:00
* Updating to version 10.0.12 * Updating to version 10.0.13-SNAPSHOT * VERSION.TXT =+ content of jetty-9.4.49.v20220914 release * remove strange line and reorder