December 25, 2019
https://issues.dlang.org/show_bug.cgi?id=12113

berni44 <bugzilla@d-ecke.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@d-ecke.de

--- Comment #5 from berni44 <bugzilla@d-ecke.de> ---
Did this PR completely fullfill the original wish? It's been merged, but I'm not sure if there is some stuff remaining...

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=12113

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4

--