MonetDB: Jun2023 - Dec2023 has been released: closing Jun2023.

[Sjoerd Mullender via checkin-list]

Changeset: 4f9734053e7d for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/4f9734053e7d
Branch: Jun2023
Log Message:

Dec2023 has been released: closing Jun2023.

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