Re: They are not the same

[bearophile]

Timon Gehr:

It's a plain bug. In fact, you have commented on it:

https://d.puremagic.com/issues/show_bug.cgi?id=9148

That issue is significant.
Thank you Timon. Apparently my memory is not very good :-)

Bye,
bearophile