rgheck wrote: > This has been done for trunk at r31056 and r31057. Up to you if you want > it for branch, Jurgen. I don't know that it is absolutely necessary. > It's just a safety net.
Let's see first how the general solution evolves. (I hope the whole thing does not get too complex). Jürgen
