11 Oct
2022
11 Oct
'22
11:59 a.m.
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. All the best, Christian