Commits included in testrun 77576:a8afa43ca17e

changeset 77576:a8afa43ca17e
date:2020-10-22 17:57 +0200
user:Sjoerd Mullender <sjoerd@acm.org>
branch:default
files:MonetDB.spec gdk/gdk_bbp.c monetdb5/mal/mal_profiler.c sql/storage/bat/bat_storage.c tools/mserver/mserver5.c
message:Merge with Oct2020 branch.