From 7c18c0b523b139e2ca275b970227166b5c457a41 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 24 Sep 2017 09:53:13 +0100 Subject: [PATCH] Updated external reference. --- externals/WALA | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/externals/WALA b/externals/WALA index 8d781d1..da27479 160000 --- a/externals/WALA +++ b/externals/WALA @@ -1 +1 @@ -Subproject commit 8d781d1ec10f41d0796cbfe978cd76d4c6c2f1c8 +Subproject commit da27479c9cef3491fa0b3cf2b841943a1d3e1ef7