Bruno Haible Mon, 10 Mar 2008 16:31:50 -0700
> ping? pong! It's still on my radar. A few other issues had higher priority in the last few days, though. Sorry.
Bruno