From c13500240a1b43b84e763a6fde9b16cbe3dc9d02 Mon Sep 17 00:00:00 2001 From: Charles Kerr Date: Fri, 7 Jul 2023 11:02:25 -0500 Subject: [PATCH] chore: bump to head of small/devel (#5743) --- third-party/small | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third-party/small b/third-party/small index 027f6d7eb..589f1d166 160000 --- a/third-party/small +++ b/third-party/small @@ -1 +1 @@ -Subproject commit 027f6d7eb61c4a5c7eb699acb7c59b8a5e3d085e +Subproject commit 589f1d166919b6490cade75465cf22f9b2ea65ee