mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-18 20:49:12 +00:00
The 7.6 DTD was erroneously committed without the relevant change, which was committed to the 6.0 DTD.
The 7.6 DTD was erroneously committed without the relevant change, which was committed to the 6.0 DTD.