diff --git a/third_party/cores/basejump_stl b/third_party/cores/basejump_stl index d20ab67e2183..7afad8c9fdda 160000 --- a/third_party/cores/basejump_stl +++ b/third_party/cores/basejump_stl @@ -1 +1 @@ -Subproject commit d20ab67e2183aafaf586c2d93474658fbad59e37 +Subproject commit 7afad8c9fddaac7c76ed7d47442eccf675cef2f5