MonetDB: pushdown - merged

Changeset: b366f013782d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=b366f013782d Modified Files: monetdb5/mal/mal_authorize.h monetdb5/mal/mal_import.c monetdb5/mal/mal_session.c monetdb5/modules/mal/wlc.c tools/mserver/shutdowntest

MonetDB: default - Fix type with quick push

Changeset: 2d629635d08e for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=2d629635d08e Modified Files: monetdb5/mal/mal_import.c Branch: default Log Message: Fix type with quick push diffs (11 lines): diff --git a/monetdb5/mal/mal_import.c b/monetdb5/mal/mal_import.

MonetDB: default - Make sure we consistently reference the MAL_A...

Changeset: 84d9c111e7f3 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=84d9c111e7f3 Modified Files: monetdb5/mal/mal_authorize.h monetdb5/mal/mal_import.c monetdb5/mal/mal_session.c tools/mserver/shutdowntest.c Branch: default Log Message: Ma