On Wed, 8 Aug 2001, Mark Mitchell wrote: > Please send me a message with the PR number when you do. We definitely > need to fix this. Done. The PR number is bootstrap/3963, and I just marked it as "high priority". Gerald -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/