MonetDB: Jun2020-mmt - Merge with Jun2020 branch.

Changeset: 854ec21bfdcc for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/854ec21bfdcc Branch: Jun2020-mmt Log Message: Merge with Jun2020 branch. diffs (truncated from 742 to 300 lines): diff --git a/monetdb5/mal/mal_profiler.c b/monetdb5/mal/mal_profiler.c --- a/monetdb5/mal/mal_profile

MonetDB: Jun2020-mmt - Merge with Jun2020 branch.

Changeset: 567c57e9313c for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/567c57e9313c Modified Files: .bumpversion.cfg MonetDB.spec NT/monetdb_config.h.in NT/rules.msc configure.ag sql/backends/monet5/sql.c sql/storage/bat/bat_logger.c