On 1/18/2016 6:09 AM, Manu via Digitalmars-d wrote:
I'd suggest it needs fixing.

I agree. I suggested the workaround so you wouldn't be blocked by it.

Reply via email to