| changeset 70394:cdb37660b2e1 | |
|---|---|
| date: | 2019-09-24 10:18 +0200 |
| user: | Sjoerd Mullender <sjoerd@acm.org> |
| branch: | default |
| files: | |
| message: | Merge with Nov2019 branch. |
| changeset 70410:25c8518bfb10 | |
| date: | 2019-09-24 16:26 +0200 |
| user: | Pedro Ferreira <pedro.ferreira@monetdbsolutions.com> |
| branch: | default |
| files: | |
| message: | Merge with Nov2019 |