Update ChangeLog
[platal.git] / core
diff --git a/core b/core
index fa25dc0..f759f38 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit fa25dc0b9d2d751562d60216467a298066141d16
+Subproject commit f759f3804cfa1cba90b17baf9b6bd1f9617e0315