On Monday, 18 April 2022 at 13:41:04 UTC, Mike Parker wrote:
On Monday, 18 April 2022 at 05:27:32 UTC, Danny Arends wrote:

Any ideas how to get into contact/fix this issue ?

I've emailed Sönke and pointed him to this thread.

Wouldn't the appropriate thing to do be dub being officially a part of D, it's advertised as such, but it really isn't such.

It would also make this a non-issue, or at least organizational issue and not a single person who's responsible for it all.

Reply via email to