Merge branch 'xorg/maint' into xorg/master

[platal.git] / core

diff --git a/core b/core
index 8dd67de..13cec5a 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 8dd67de33d8b729b3ff0f5aae6de1dbad9f3f30d
+Subproject commit 13cec5adcabc015959a87a75ef67cc354242a6bd