José Matos wrote: > On Monday 21 May 2007 5:06:36 pm Jürgen Spitzmüller wrote: >> José, please consider this, as it fixes a _very_ annoying bug. > > +1
Does that mean it should go in? I am all for short messages, but sometimes they are too short to be sure of the intention :-) Georg
