upgrade boost to 1.83.0

iceboy233 · Sep 1, 2023 · b8d0577 · b8d0577
1 parent 50161c9
commit b8d0577
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/WORKSPACE b/WORKSPACE
@@ -41,7 +41,7 @@ http_archive(
 
 git_repository(
     name = "org_boost_boost",
-    commit = "5d277ca0e165c4de02104bb976233cd6c6b7c75f",
+    commit = "2a72734ebe29e1c2abcf5b84443e385b20071e8d",
     remote = "https://github.com/iceboy233/boost.git",
 )