On Fri, 17 Jun 2022 at 04:49, Martin Vahlensieck <open...@academicsolutions.ch> wrote: > ping, diff attached
Applied, thanks. -- Darren Tucker (dtucker at dtucker.net) GPG key 11EAA6FA / A86E 3E07 5B19 5880 E860 37F4 9357 ECEF 11EA A6FA (new) Good judgement comes with experience. Unfortunately, the experience usually comes from bad judgement.