On Friday, 28 October 2022 at 01:37:50 UTC, Mike Parker wrote: > > This has nothing to do with dub and is not a D issue > specifically. Enter your error message in Google and you'll get > a long list of results. Maybe one of them can help you. Or do what kinke suggests :-)