From: Guenter M. <mi...@us...> - 2022-07-06 16:45:26
|
On 2022-07-05, engelbert gruber wrote: > Release 0.19 (2022-07-05) >========================= ... Thank you, Engelbert for the release. I suggest we wait with the next changes to the code for a week to be prepared for a fixup in case of bug reports. Günter |