| 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. |