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

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hsteoh@quickfur.ath.cx

--- Comment #3 from hsteoh@quickfur.ath.cx ---
The pull has been merged a long time ago. Is this still a problem? Can this bug be closed now?

--

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

Jacob Carlborg <doob@me.com> changed:

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

--- Comment #4 from Jacob Carlborg <doob@me.com> ---
Yes this can be closed.

--