On Thu, Nov 10, 2016 at 01:53:20PM +0100, Ole Streicher wrote: > > This is what I meant, and it is fixed by my last commit. Please try > again ;-)
Quick note from bad connection. Seems to work now. I'll try later more carefully. Thanks for your contribution Andreas. -- http://fam-tille.de