On Tue, 17 Apr 2001, Benjamin Kosnik wrote: > The problem you've noticed is fixed in CVS, and has been for quite some time. When is said fix going to be propagated into an official release? - Paul