On Mon, Jul 22, 2013 at 02:17:45PM +0200, Volker Lendecke wrote: > Hi! > > Mostly trivial stuff. Please review&push. Reviewed and pushed :-). Thanks ! Jeremy.