Merge pull request #564 from yuriks/reupdate-boost

Update ext-boost commit again which got reverted by #500
2025-02-09 22:33:06 +01:00 · 2015-02-12 09:55:59 -05:00 · 2015-02-12 09:55:59 -05:00 · fea21a4742
commit fea21a4742
parent f990728ad4 bf30dba6c2
1 changed files with 1 additions and 1 deletions
--- a/externals/boost
+++ b/externals/boost
@ -1 +1 @@
-Subproject commit a1afc91d3aaa3da06bdbc13c78613e1466653405
+Subproject commit 728a4d7d1c8b28355544ae829df9c4b5f28373c5