18 Jul
2024
18 Jul
'24
8:59 a.m.
On Thu Jul 18 08:45:36 2024 +0000, Matthias Gorzellik wrote:
Oh, right, I see.. I'll change that, think it even makes some of the changes obsolete.
Fwiw I'll be off for a couple of weeks, and won't be able to make a proper review until I get back.