From 3e7c27010c72e3c17fc55a8a1bb1ff44271f4ded Mon Sep 17 00:00:00 2001 From: Graham Date: Tue, 20 Aug 2019 22:42:43 +0100 Subject: [PATCH] Disable int to void pointer cast warning --- pom.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/pom.xml b/pom.xml index 07637d347c..845354a4bd 100644 --- a/pom.xml +++ b/pom.xml @@ -343,6 +343,7 @@ +