Changeset: da41d60ea9f5 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=da41d60ea9f5 Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h monetdb5/optimizer/opt_profiler.c Branch: default Log Message:
Merge with Jul2017 branch, not changing any files. _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
