On Tue, Jan 17, 2012 at 3:44 PM, Didier Verna <email@example.com>
the CHANGELOG file in src/ mentions version 11.7.1, which I don't
understand. The latest compiled version from git says current version is
11.1.1 (so sez the webpage). What's this 11.7.1 thing ?
Sorry, I did not notice that. I was going to produce a release on July, but at about that time the test farm broke down and I was not able to do what I expected. Seems that the tentative version number is still there.