Changeset: daced6e94b0b for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=daced6e94b0b Modified Files: monetdb5/modules/kernel/bat5.c monetdb5/modules/kernel/bat5.h monetdb5/modules/kernel/bat5.mal Branch: graph1 Log Message:
merge heads _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
