Am 06.11.2013 12:13, schrieb Riccardo (Jack) Lucchetti:
On Wed, 6 Nov 2013, Riccardo (Jack) Lucchetti wrote:
> I'll try to update the docs asap.
Done in CVS.
Thanks; in fact a colleague here also asked about this today -- after
you wrote your email, but before I read it.
-sven