Hi; thanks for this bug report. It should be fixed by commit 946376c21be1cd9dcc3c7 in git master, which will be in the 4.1 release.
Hi; thanks for this bug report. It should be fixed by commit 946376c21be1cd9 dcc3c7 in git master, which will be in the 4.1 release.