On Wed, 2 Mar 2005, Sebastian Rahtz wrote: > but we have to have the new pool, or its useless! > > since TL is not supposed to be stable any more, its OK > to break the other platforms. OK, done. change #6850 -- Staszek Wawrykiewicz StaW at gust.org.pl