Hi

just updated my git tree and pushed two new developer releases... didn't
have time to update the NEWS, Changelog, etc., but we can do that just
before the release, which I guess should be ready now?

cheers

ARUN

Reply via email to