Hi, On Sat, Jul 23, 2016 at 09:08:22AM +0200, Volker Lendecke wrote: > Some cleanup and a small drive-by fix. Review appreciated! lgtm&pushed. -Ralph