MonetDB: Jun2020-mmt - Closing branch Jun2020-mmt.

[Sjoerd Mullender via checkin-list]

Changeset: 615ed3919f48 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/615ed3919f48
Branch: Jun2020-mmt
Log Message:

Closing branch Jun2020-mmt.

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