MonetDB: jitudf - Merged with default branch.

2017-07-18 Thread Stefan Manegold
Changeset: 4496a9e448e6 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=4496a9e448e6 Modified Files: tools/merovingian/utils/properties.c tools/merovingian/utils/utils.c Branch: jitudf Log Message: Merged with default branch. diffs (103 lines): diff --git

MonetDB: jitudf - Merged with default branch.

2017-07-18 Thread Stefan Manegold
Changeset: b0b44412ff92 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=b0b44412ff92 Modified Files: MonetDB.spec buildtools/selinux/monetdb.te clients/ChangeLog clients/mapiclient/stethoscope.c monetdb5/mal/mal_profiler.c sql/t