On Wed, Oct 08, 2008 at 11:14:19PM +0200, Thomas Weber wrote: > Hmm, that could have gone in the other mail, but never mind: > > I've pinged Jaroslav about this in a private mail, so it should go into > the next stable release. The corresponding changeset in John's archive > is > changeset: 8071:b6e85fb238c1 > > Thomas This is changeset 7616:f5f61487207c in Jaroslav's tree and should be part of 3.0.4. Thomas