This is now https://github.com/root-project/root/issues/6944 (thanks @FoxWise for reporting). Let’s continue discussion there – I’ll take a look as soon as possible, probably end of this week.
Cheers,
Enrico
This is now https://github.com/root-project/root/issues/6944 (thanks @FoxWise for reporting). Let’s continue discussion there – I’ll take a look as soon as possible, probably end of this week.
Cheers,
Enrico