On Thu, May 15, 2008 at 01:02:00AM +0200, Ulrich Weigand wrote: > Thus I'd propose to remove that code. Any objections? Hooray! I like this. -- Daniel Jacobowitz CodeSourcery