From b8c5ae111a6c47a510516560efb283597e96d72b Mon Sep 17 00:00:00 2001
From: Jose <jose@zeroc.com>
Date: Tue, 5 Feb 2019 14:20:13 +0100
Subject: [PATCH] Update Ice submodule to v3.7.2

---
 ice | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ice b/ice
index 235e5d3..f4f1c45 160000
--- a/ice
+++ b/ice
@@ -1 +1 @@
-Subproject commit 235e5d32eed6e03f768bdb1898cba5c8d1b5c346
+Subproject commit f4f1c45b1fe339a72b10454d5d8d4de05a4ca7d4