MonetDB: new_rmt_opt - Closing branch new_rmt_opt.

[Sjoerd Mullender via checkin-list]

Changeset: d597a7918f40 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/d597a7918f40
Branch: new_rmt_opt
Log Message:

Closing branch new_rmt_opt.

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