MonetDB: Dec2023 - Merge with Jun2023 branch, not changing any f...

2023-11-16 Thread Sjoerd Mullender via checkin-list
Changeset: 63f28db4531d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/63f28db4531d Modified Files: .bumpversion.cfg MonetDB.spec clients/mapilib/mapi.rc clients/odbc/driver/driver.rc clients/odbc/winsetup/setup.rc cmake/monetdb-versions.cmak

MonetDB: Dec2023 - Merge with Jun2023 branch, not changing any f...

2023-11-16 Thread Sjoerd Mullender via checkin-list
Changeset: 61a8eafe6b8d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/61a8eafe6b8d Modified Files: .bumpversion.cfg MonetDB.spec clients/mapilib/mapi.rc clients/odbc/driver/driver.rc clients/odbc/winsetup/setup.rc cmake/monetdb-versions.cmak