On Wed, Apr 18, 2007 at 03:06:15PM +0200, Dodji Seketeli wrote: > So, there is no IRC channel where you guys can be reached ? :-) No, generally there isn't. -- Daniel Jacobowitz CodeSourcery