Jürgen Spitzmüller Sun, 13 Jan 2008 23:06:25 -0800
Enrico Forestieri wrote: > The attached patch fixes the problem in trunk. > Jürgen, OK for branch, too?
Yes. Jürgen