MonetDB: no_type_bat - merged with default

[Niels Nes via checkin-list]

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

merged with default

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