Updates core

[platal.git] / core

diff --git a/core b/core
index 8adfe95..ef138fd 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 8adfe9565eeb5d25c3f2ba91bb6632f3836b7a78
+Subproject commit ef138fdcc27646d255cb98615c3e64724496c9bd