From d50afa326c93f432cb677cfc616b9a802c4ec06e 2019-03-21 18:49:09
From: Alexis Jeandet <alexis.jeandet@member.fsf.org>
Date: 2019-03-21 18:49:09
Subject: [PATCH] Bump core

Signed-off-by: Alexis Jeandet <alexis.jeandet@member.fsf.org>

---

diff --git a/core b/core
index 00ce7df..d831ff8 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 00ce7df31d3e11df8a418988c601247f6dc64d13
+Subproject commit d831ff83b9bb13121444a5bd86040d4bddfe72d3