| changeset 67901:b62008654fe6 | |
|---|---|
| date: | 2018-12-07 10:04 +0100 |
| user: | Sjoerd Mullender <sjoerd@acm.org> |
| branch: | default |
| files: | gdk/gdk_bat.c |
| message: | Add some casts. |
| changeset 67905:005ffe3f0a32 | |
| date: | 2018-12-07 13:39 +0100 |
| user: | Sjoerd Mullender <sjoerd@acm.org> |
| branch: | default |
| files: | gdk/gdk_join.c monetdb5/modules/mal/mal_io.c sql/backends/monet5/sql.c |
| message: | Merge with Aug2018 branch. |