Dmitry Baryshkov writes: > On Fri, 2003-10-17 at 21:56, Dmitry Baryshkov wrote: > > If nobody objects, I'll commit this at Monday. > > > Commited. I had some nebulous changes for this in mind, but never spoke up. I'll commit something later today or tomorrow (renaming the targets, plus some small fixes). Thanks Diego