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. --
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. --