From 9d87160bc2c01321280d43f655c256c30d9fbc14 Mon Sep 17 00:00:00 2001 From: Yuming Wang Date: Mon, 16 Jul 2018 22:46:20 +0800 Subject: [PATCH] Fix ./dev/make-distribution.sh Permission error --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 039292337eaa0..1892bbee4e97b 100644 --- a/pom.xml +++ b/pom.xml @@ -2618,7 +2618,7 @@ Low true FindPuzzlers - false + true