From b8d05771a7ed1daf6c778b2afa0511496efbb124 Mon Sep 17 00:00:00 2001
From: iceboy <me@iceboy.org>
Date: Thu, 31 Aug 2023 16:59:15 -0700
Subject: [PATCH] upgrade boost to 1.83.0

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

diff --git a/WORKSPACE b/WORKSPACE
index 4f1f6ad..fe164be 100644
--- 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",
 )