Changeset: 7b7ef8cd3909 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=7b7ef8cd3909 Branch: Jun2020-decimals Log Message:
Closing Jun2020-decimals branch once merged into Jun2020 _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
