MonetDB: resource_management - small sanitizer fix

Changeset: cd567507dfe3 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/cd567507dfe3 Modified Files: gdk/gdk_utils.c sql/backends/monet5/sql_scenario.c Branch: resource_management Log Message: small sanitizer fix diffs (43 lines): diff --git a/gdk/gdk_utils.c b/gdk/gdk_u

MonetDB: resource_management - merge with default

Changeset: afa242acb760 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/afa242acb760 Branch: resource_management Log Message: merge with default diffs (28 lines): diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in --- a/testing/Mtest.py.in +++ b/testing/Mtest.py.in @@ -4027,6 +4027,

MonetDB: default - fix test count when tests are specified on co...

Changeset: 0f45b8daee7d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/0f45b8daee7d Modified Files: testing/Mtest.py.in Branch: default Log Message: fix test count when tests are specified on command line diffs (28 lines): diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in