Merge remote branch 'origin/xorg/maint' into xorg/master

[platal.git] / core

diff --git a/core b/core
index a217426..9007d49 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit a21742678e53db58f3d406e355bf0b60fcd46e19
+Subproject commit 9007d4955f2487e82c0f9f4059e1f6b450bdb528