Enrico Forestieri wrote:
> > If people find this useful, I can backport it to branch.
>
> I find it useful.

Since it's rather straightforward, I put it in.

Jürgen

Reply via email to