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

Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> ---
https://github.com/dlang/druntime/pull/2375

--

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

--- Comment #2 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/druntime

https://github.com/dlang/druntime/commit/ae9581c1e4b96de6707c71eb45dcc9c10dd4d402 Fix Issue 19433 - Don't consume --DRT-* options if rt_cmdline_enabled is false

https://github.com/dlang/druntime/commit/74387967432887aa8cb98af184dd43976711bab5 Merge pull request #2375 from CyberShadow/issue19433

Fix Issue 19433 - Don't consume --DRT-* options if rt_cmdline_enabled is false merged-on-behalf-of: Rainer Schuetze <rainers@users.noreply.github.com>

--

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

github-bugzilla@puremagic.com changed:

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

--