Update core

[platal.git] / core

diff --git a/core b/core
index 852e640..fa25dc0 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 852e6400e7b7dbc0c0d4c8b4e72ca009954056cb
+Subproject commit fa25dc0b9d2d751562d60216467a298066141d16