Changeset: ce5b03e76dac for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=ce5b03e76dac Modified Files: clients/Tests/exports.stable.out gdk/gdk_logger.c gdk/gdk_logger.h Branch: default Log Message:
Merge with Oct2020 branch. _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list