From fe62131c995ba806ec1e2b99cac56cf62dd72615 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20Rydg=C3=A5rd?= Date: Mon, 20 Nov 2017 17:14:30 +0100 Subject: [PATCH] Update armips to latest. See #10161 --- ext/armips | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/armips b/ext/armips index 770365d44df3..8b4cadaf62d7 160000 --- a/ext/armips +++ b/ext/armips @@ -1 +1 @@ -Subproject commit 770365d44df35d6e675c58bb2a774ca412278ef5 +Subproject commit 8b4cadaf62d7de42d374056fc6aafc555f2bc7dc