On Fri, Nov 15, 2013 at 05:02:11PM +0100, Andreas Schneider wrote: > Hi, > > here are the patches to fix some issues our tools found and complained about. Looks good to me. Pushed to autobuild. Thanks ! Jeremy.