rgheck wrote:
> Actually, I realized there was a much better way to do that generally,
> and committed it at r21890 and r21891.
>
> Jurgen, this should also go to branch, OK?

Yes, OK.

Jürgen

Reply via email to