MonetDB: default - merged with Jun2023

Changeset: fb1846604869 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/fb1846604869 Branch: default Log Message: merged with Jun2023 diffs (155 lines): diff --git a/gdk/gdk_tracer.c b/gdk/gdk_tracer.c --- a/gdk/gdk_tracer.c +++ b/gdk/gdk_tracer.c @@ -513,6 +513,7 @@ GDKtracer_log(const

MonetDB: Jun2023 - embedded can still have mapi, ie use initclie...

Changeset: d5f2c3630bfd for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/d5f2c3630bfd Modified Files: monetdb5/mal/mal_session.c Branch: Jun2023 Log Message: embedded can still have mapi, ie use initclient option only diffs (12 lines): diff --git a/monetdb5/mal/mal_session.c b/mo