Correction: it is a pull request, not merged yet.

Anyway, it works like a charm.

Cheers, Tycho

Reply via email to