File mono-5.0.0-hide-pointer.patch of Package mingw32-mono

diff -Naur mono-5.0.0/mono/metadata/boehm-gc.c mono-5.0.0-hide-pointer/mono/metadata/boehm-gc.c
--- mono-5.0.0/mono/metadata/boehm-gc.c	2017-05-11 10:58:10.000000000 +0200
+++ mono-5.0.0-hide-pointer/mono/metadata/boehm-gc.c	2017-05-12 12:47:07.016519859 +0200
@@ -12,6 +12,7 @@
 #include <string.h>
 
 #define GC_I_HIDE_POINTERS
+#define I_HIDE_POINTERS
 #include <mono/metadata/gc-internals.h>
 #include <mono/metadata/mono-gc.h>
 #include <mono/metadata/profiler-private.h>