MonetDB: Dec2023 - Merge with Jun2023 branch.

[Sjoerd Mullender via checkin-list]

Changeset: 3cfde7c496fa for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/3cfde7c496fa
Modified Files:
        monetdb5/modules/mal/txtsim.c
Branch: Dec2023
Log Message:

Merge with Jun2023 branch.

_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org