On Mon, Feb 28, 2011 at 20:47:37 +0000, Julien Cristau wrote: > New branch 'master' available with the following commits: Sorry about that, pushed the wrong branch... Cheers, Julien