On 10/29/2023 11:38 AM, Imperatorn wrote: > A bug report has been created for it by schveiguy since I can't access bugzilla > because of an intermittent DNS problem. And a PR: https://github.com/dlang/phobos/pull/8834 > Next step is to provide a safe way to get the task status after the pr has been > merged.