Update core and ChangeLog: version will be 0.10.0

[platal.git] / core

diff --git a/core b/core
index f734e82..720e326 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit f734e828ef90b48ba709a84de92f5f95154cb111
+Subproject commit 720e326185b09135267b32e2c85ca3d7beba37f2