Hi Christoph,I couldn't reproduce it with the current Git head. I think the issue has been fixed. Thanks for the report!
- Yang On 01/26/2018 07:23 AM, Christoph Weiss wrote:
Hi, Attached you can find a bug that we ran into. Thanks for the great software! Christoph