Christoph Pfister Tue, 01 Jan 2019 08:45:31 -0800
Any news on this issue? (Like other people, I also needed to work around it.)
Thanks, (and happy New Year!) Christoph