20 Jul
2020
20 Jul
'20
8:57 p.m.
After the recent bug fixes I thought it was time to produce a new release. There are very few new features; it's almost all bug fixes.
Thanks to everyone for the patches and bug reports.
David