11 Oct
2022
11 Oct
'22
6:04 a.m.
Am 10/11/2022 um 11:59 AM schrieb Christian Grün:
A new maintenance release is available. It comes with…
• a new command-line option -W for indenting results; • better pooling of HTTP requests; • minor bug fixes.
Superb, somehow sneaking that in on MS patch day Tuesday but long before their patches tend to arrive, so now we have got some hours to install and use the latest BaseX before Windows and MS updates clog our connections and/or our systems.