MonetDB: Jul2021_prof_ext - Closing branch Jul2021_prof_ext.

[Sjoerd Mullender via checkin-list]

Changeset: 3ad19679f9d7 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/3ad19679f9d7
Branch: Jul2021_prof_ext
Log Message:

Closing branch Jul2021_prof_ext.

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