MonetDB: Jan2022 - Merge with Jul2021 branch.

[Sjoerd Mullender]

Changeset: 5b749c65647c for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/5b749c65647c
Modified Files:
        common/options/monet_options.c
Branch: Jan2022
Log Message:

Merge with Jul2021 branch.


diffs (11 lines):

diff --git a/common/options/monet_options.c b/common/options/monet_options.c
--- a/common/options/monet_options.c
+++ b/common/options/monet_options.c
@@ -205,7 +205,6 @@ mo_system_config(opt **Set, int setlen)
        if (!cfg)
                return setlen;
        setlen = mo_config_file(Set, setlen, cfg);
-       free(cfg);
        return setlen;
 }
 
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org