From 142be4570b1ba2777e6fcbc218f164e6f63a1e94 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 24 Jul 2017 08:29:03 +0100 Subject: [PATCH] Updated ref: WALA. --- externals/WALA | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/externals/WALA b/externals/WALA index 52e8c0e..4863109 160000 --- a/externals/WALA +++ b/externals/WALA @@ -1 +1 @@ -Subproject commit 52e8c0eceafc183e2f216198b56e5f6ceaf1ec9a +Subproject commit 48631092c37ef91bc898e946f96a6b9d15e234c7