From 15d9ff503f190e86d0ca56cdf72164802f030809 Mon Sep 17 00:00:00 2001 From: s809 <43530948+s809@users.noreply.github.com> Date: Fri, 6 Dec 2024 23:32:59 +0500 Subject: [PATCH] Re-add pruning of visitedPositions --- coreSubProjects | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coreSubProjects b/coreSubProjects index 518847410..bdd816dbd 160000 --- a/coreSubProjects +++ b/coreSubProjects @@ -1 +1 @@ -Subproject commit 518847410136a9eafffee3a8f46854029f95972d +Subproject commit bdd816dbdac2c9c46653368a585aabbc581d712a