| changeset 76920:af258210d10d | |
|---|---|
| date: | 2020-09-17 18:09 +0200 |
| user: | Sjoerd Mullender <sjoerd@acm.org> |
| branch: | default |
| files: | clients/Tests/exports.stable.out monetdb5/mal/mal_session.c monetdb5/modules/mal/mal_mapi.c sql/backends/monet5/sql_scenario.c tools/mserver/shutdowntest.c |
| message: | Merge with Oct2020 branch. |