From: Francesco Mazzoli <f@ma...> - 2012-12-17 13:29:15
At Mon, 17 Dec 2012 13:35:57 +0100,
Alex Ott wrote:
> can you try new version in repository?
The last change I get in the repo is on the 11th of December, maybe it’s another
branch or you didn’t push?