On Wed, 23 May 2012, Mathieu Briand wrote:
> It should be fixed now with commit > 5df7b64003e8327885cbb18d272ad1676cd7c20b
I have no such commit in my tree.
On Wed, 23 May 2012, Mathieu Briand wrote:
> It should be fixed now with commit 885cbb18d272ad1 676cd7c20b
> 5df7b64003e8327
I have no such commit in my tree.