Changeset: 77ec5c2e79ea for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/77ec5c2e79ea Branch: opt_pushoptimizer Log Message:
closing branch _______________________________________________ checkin-list mailing list -- checkin-list@monetdb.org To unsubscribe send an email to checkin-list-le...@monetdb.org
