Changeset: 08da7afae972 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=08da7afae972 Branch: oscar Log Message:
Closing branch oscar. Merging now goes Jun2020 -> Oct2020 -> default. _______________________________________________ checkin-list mailing list [email protected] https://www.monetdb.org/mailman/listinfo/checkin-list
