Ludovic Courtès Wed, 22 May 2013 09:03:02 -0700
There’s no such problem with GC 7.2d. Sorry for the noise! Ludo’.
