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

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@benjones created dlang/dmd pull request #10788 "FIX: Issue 17257 (revive/rebase PR #6635)" mentioning this issue:

- FIX: Issue 17257 (revive/rebase PR #6635)

https://github.com/dlang/dmd/pull/10788

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #10788 "FIX: Issue 17257 (revive/rebase PR #6635)" was
merged into master:

- 472d7b8a06949add3f71e1c87bc268bd196c1043 by Daniel Kozák:
  Fix Issue 17257 (revive/rebase PR #6635)

https://github.com/dlang/dmd/pull/10788

--