From bf30dba6c2a6956c5d13a2688c0327eb5c1985aa Mon Sep 17 00:00:00 2001
From: Yuri Kunde Schlesner <yuriks@yuriks.net>
Date: Thu, 12 Feb 2015 12:14:14 -0200
Subject: [PATCH] Update ext-boost commit again which got reverted by #500

---
 externals/boost | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/externals/boost b/externals/boost
index a1afc91d3..728a4d7d1 160000
--- a/externals/boost
+++ b/externals/boost
@@ -1 +1 @@
-Subproject commit a1afc91d3aaa3da06bdbc13c78613e1466653405
+Subproject commit 728a4d7d1c8b28355544ae829df9c4b5f28373c5