On Wed, Jan 11, 2017 at 01:46:13PM +0100, Stefan Metzmacher wrote: > Hi, > > here're some minor cleanups... > > Please review and push:-) Pushed. Volker