On 02/14/2018 03:23 PM, Thomas De Schampheleire wrote: > What is the status of this? I see the duplication removed on the > default branch, but the actual issue still persists. I pushed a fix. Thanks for reporting and testing. /Mads