DUB issues

[bauss]

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.