MonetDB: default - Merged with Aug2018 branch.

Changeset: 3821810a778e for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=3821810a778e Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: default Log Message: Merged with Aug2018 branch. diffs (truncated from 627 to 300

MonetDB: Aug2018 - Merged with Mar2018 branch.

Changeset: 9bdf251461bb for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=9bdf251461bb Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: Aug2018 Log Message: Merged with Mar2018 branch. diffs (truncated from 597 to 300

MonetDB: Mar2018 - sort token lists in opt_prelude.[hc]

Changeset: 4759442b4fd2 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=4759442b4fd2 Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: Mar2018 Log Message: sort token lists in opt_prelude.[hc] and hopefully keep them so

MonetDB: default - Merged with Aug2018 branch.

Changeset: 036996687b51 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=036996687b51 Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: default Log Message: Merged with Aug2018 branch. diffs (74 lines): diff --git a/m

MonetDB: Aug2018 - Merged with Mar2018 branch.

Changeset: d3f96981fbb6 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=d3f96981fbb6 Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: Aug2018 Log Message: Merged with Mar2018 branch. diffs (74 lines): diff --git a/m

MonetDB: Mar2018 - fixed indenting in opt_prelude.[hc]

Changeset: 8e2f1a5f937d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=8e2f1a5f937d Modified Files: monetdb5/optimizer/opt_prelude.c monetdb5/optimizer/opt_prelude.h Branch: Mar2018 Log Message: fixed indenting in opt_prelude.[hc] diffs (74 lines): diff -

MonetDB: default - Merged with Aug2018 branch.

Changeset: 7df1d371b3b1 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=7df1d371b3b1 Modified Files: clients/mapiclient/mhelp.c gdk/gdk_hash.c gdk/gdk_imprints.c gdk/gdk_orderidx.c gdk/gdk_storage.c gdk/gdk_system.c gdk/