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. |