| changeset 72421:56950268be7e | |
|---|---|
| date: | 2020-01-21 10:26 +0100 |
| user: | Pedro Ferreira <pedro.ferreira@monetdbsolutions.com> |
| branch: | default |
| files: | monetdb5/modules/atoms/str.c |
| message: | Merge with Nov2019 |
| changeset 72424:3921cfeabcee | |
| date: | 2020-01-21 11:52 +0100 |
| user: | Martin Kersten <mk@cwi.nl> |
| branch: | default |
| files: | monetdb5/mal/mal_profiler.c |
| message: | Remove profile rendering code. It could cause an error when the |