Re: A refinement for pure implementation

[bearophile]

Timon Gehr:

The point was that the code you gave should work even without 
your proposed enhancement.

So my original question was: do you remember if Hara has already 
written a patch to fix that bug? :-)

Bye,
bearophile