https://issues.dlang.org/show_bug.cgi?id=15853
--- Comment #6 from [email protected] --- Let's not close it until the PR is merged. --
https://issues.dlang.org/show_bug.cgi?id=15853
--- Comment #6 from [email protected] --- Let's not close it until the PR is merged. --