File mono-5.4.0.56-hide-pointer.patch of Package mingw64-mono

--- mono-5.4.0.56/mono/metadata/boehm-gc.c	2017-06-23 12:11:11.000000000 +0200
+++ mono-5.4.0.56/mono/metadata/boehm-gc.c	2017-07-26 19:31:26.084363451 +0200
@@ -13,6 +13,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>