MonetDB: default - Merge with Dec2023 branch.

[Sjoerd Mullender via checkin-list]

Changeset: dfe6ec792bba for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/dfe6ec792bba
Branch: default
Log Message:

Merge with Dec2023 branch.


diffs (11 lines):

diff --git a/clients/mapilib/mapi.c b/clients/mapilib/mapi.c
--- a/clients/mapilib/mapi.c
+++ b/clients/mapilib/mapi.c
@@ -2024,6 +2024,7 @@ mapi_destroy(Mapi mid)
        free(mid->server);
        free(mid->uri);
        free(mid->tracebuffer);
+       free(mid->noexplain);
        if (mid->errorstr && mid->errorstr != mapi_nomem)
                free(mid->errorstr);
 
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org