On Fri, 17 Jun 2022 at 04:49, Martin Vahlensieck <[email protected]> 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.
