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
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