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

[platal.git] / core

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