Jeff Flinn wrote:

Marshall Clow wrote:

...

At 7:42 AM +0200 10/2/07, JD wrote:

...

Subsidiary question: Who is maintaining this library? Jonathan Turkanis is the maintainer of the iostreams library.

Is Jonathan available at all? I thought someone else picked up this library in his absence, but I can't remember who.

Jeff Flinn

The patch seems to work, can someone integrate it? JD