MonetDB: Apr2019 - Merge heads.

2019-08-20 Thread Sjoerd Mullender
Changeset: 80abbf2ec018 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=80abbf2ec018 Modified Files: sql/test/BugTracker-2019/Tests/All Branch: Apr2019 Log Message: Merge heads. diffs (9 lines): diff --git a/sql/test/BugTracker-2019/Tests/All b/sql/test/BugTracke

MonetDB: Apr2019 - Merge heads

2019-08-07 Thread Panagiotis Koutsourakis
Changeset: 92196c9ca0ad for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=92196c9ca0ad Modified Files: sql/storage/bat/bat_storage.c Branch: Apr2019 Log Message: Merge heads diffs (21 lines): diff --git a/sql/storage/bat/bat_storage.c b/sql/storage/bat/bat_storage.c