https://issues.dlang.org/show_bug.cgi?id=16246

--- Comment #4 from Andrei Alexandrescu <[email protected]> ---
(In reply to Steven Schveighoffer from comment #3)
> Not fixed until the PR is merged. dlang-bot will do it automatically.

Cool, thx.

--

Reply via email to