> Han-Wen, I decided to go for your first solution, which is now
> committed.

... but not pushed yet, it seems.

> Werner, in case you were wondering what I had previously: [...]

I saw that, thanks.


    Werner

Reply via email to