Fix performance issue at session creation.
[platal.git] / core
diff --git a/core b/core
index 402a078..7f10bc6 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 402a0780f42b948525fbef6db2e3c1bfe59b883d
+Subproject commit 7f10bc6153e899a781fb1244c6681252b16887b2