On Sunday, April 26, 2020, Andreas Andreakis <andreas.andrea...@gmail.com> wrote:
> Hello, > > re-posting question to the dev mailing list, since no reply received in > the general mailing list. This mailing list also seems a better place for > this question. See below for the original mail. > Actually this is probably the worse possible list to choose. It would be better to simply ping the original post. David J.
