19 Jun
2019
19 Jun
'19
9:06 p.m.
I filed a bug report but did not see any response so maybe better mention it here:
https://www.monetdb.org/bugzilla/show_bug.cgi?id=6716
Definitely would be nice to know if you can reproduce the bug as reported.
Groetjes, Arjen
_____ Please excuse brevity - sent from a mobile.