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

Seb <greensunn...@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |greensunn...@gmail.com
         Resolution|---                         |FIXED

--- Comment #3 from Seb <greensunn...@gmail.com> ---
The Phobos PR has been merged.

--

Reply via email to