MonetDB: profiler - Merge with default branch.

Changeset: 010a247ed278 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=010a247ed278 Modified Files: gdk/gdk_posix.c Branch: profiler Log Message: Merge with default branch. diffs (21 lines): diff --git a/gdk/gdk_posix.c b/gdk/gdk_posix.c --- a/gdk/gdk_posix.c +++

MonetDB: leftmart - Merge with default branch.

Changeset: 90c2ff992a1a for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=90c2ff992a1a Modified Files: gdk/gdk_posix.c Branch: leftmart Log Message: Merge with default branch. diffs (21 lines): diff --git a/gdk/gdk_posix.c b/gdk/gdk_posix.c --- a/gdk/gdk_posix.c +++