Changeset: 981769327e10 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=981769327e10 Branch: default Log Message:
Merge with Oct2012 branch. _______________________________________________ Checkin-list mailing list Checkin-list@monetdb.org http://mail.monetdb.org/mailman/listinfo/checkin-list
