| changeset 65504:e7ee07fd1877 | |
|---|---|
| date: | 2018-01-10 16:44 +0100 |
| user: | Sjoerd Mullender <sjoerd@acm.org> |
| branch: | default |
| files: | clients/mapilib/mapi.rc clients/odbc/driver/driver.rc clients/odbc/winsetup/setup.rc gdk/libbat.rc monetdb5/modules/kernel/algebra.c monetdb5/tools/libmonetdb5.rc sql/backends/monet5/UDF/pyapi/conversion.c sql/server/rel_optimizer.c |
| message: | Merge with Jul2017 branch. |