MonetDB: Jun2023 - We need to escape the underscore.

Changeset: 0f0dec27b78c for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/0f0dec27b78c Modified Files: documentation/source/manual_pages/monetdb.rst Branch: Jun2023 Log Message: We need to escape the underscore. Else we get the error `(ERROR/3) Unknown target name: "a-za-z0-9".' di

MonetDB: Dec2023 - Coverity found some issues...

Changeset: 90393719b085 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/90393719b085 Modified Files: clients/mapilib/connect.c clients/mapilib/connect_openssl.c clients/mapilib/connect_unix.c clients/mapilib/mapi.c clients/mapilib/msettings.c Branch:

MonetDB: Dec2023 - Dead code; possible NULL dereference; possibl...

Changeset: 9c4769a6042f for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/9c4769a6042f Modified Files: geom/monetdb5/geod.c geom/monetdb5/geom.c geom/monetdb5/geomBulk.c Branch: Dec2023 Log Message: Dead code; possible NULL dereference; possible memory leak. diffs (

MonetDB: Dec2023 - Minor fixes to make coverity happier.

Changeset: d662aa1707fe for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/d662aa1707fe Modified Files: monetdb5/mal/mal_listing.c monetdb5/modules/kernel/algebra.c monetdb5/modules/mal/mal_mapi.c Branch: Dec2023 Log Message: Minor fixes to make coverity happier. dif

MonetDB: Dec2023 - Merge with Jun2023 branch.

Changeset: 754d484ed114 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/754d484ed114 Branch: Dec2023 Log Message: Merge with Jun2023 branch. diffs (12 lines): diff --git a/documentation/source/manual_pages/monetdb.rst b/documentation/source/manual_pages/monetdb.rst --- a/documentation/