From 59b0f12fef6719aff0b50bb77a2a0b95da2bb53f Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Sat, 15 Dec 2018 20:32:03 +0200
Subject: Update boost_install

---
 tools/boost_install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/boost_install b/tools/boost_install
index 7108e50c42..3db0b2085f 160000
--- a/tools/boost_install
+++ b/tools/boost_install
@@ -1 +1 @@
-Subproject commit 7108e50c42d42251a010861a95570206f4a629bb
+Subproject commit 3db0b2085fd944208bd72d32b96fde67fa090cae
-- 
cgit v1.2.1