From 999d04b73c9bce1ff7e9e5aa7d1c967b2cef2beb Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 11 Sep 2017 14:36:35 +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 58bc42a..5d28f92 160000 --- a/externals/WALA +++ b/externals/WALA @@ -1 +1 @@ -Subproject commit 58bc42a75d81ca116abea970dcd62963c0f24a75 +Subproject commit 5d28f9279817fa5e968e452d2c6c5f4d7ff6a262