On Fri, Jan 20, 2012 at 10:09:30AM +0100, David Tardon wrote: > Hi all, > > commit a13d3436852a28c50a36c4ebd26c0e0c4fd9718c fixes Add commit 614feec5481ee618bea98dabab2df0281995385e to that, because I forgot git commit --amend -a -C HEAD before pushing... D.