mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-22 06:55:53 +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