18 Jun
2020
18 Jun
'20
6:33 a.m.
I am rarely using mailing lists, so i hope that i do it right :). Thanks for the help, Taco. I added an entry to the Wiki, but i'm not sure if it is sufficient this way and if it needs approval/review or something. Malte