11 Oct
2022
11 Oct
'22
5: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