From 015d2c5019de1c7af0bbc3e95c33c011b704f097 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Fri, 9 Feb 2018 11:44:57 +0100 Subject: [PATCH] Update frontend --- src/frontend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontend b/src/frontend index a6ee391..a524651 160000 --- a/src/frontend +++ b/src/frontend @@ -1 +1 @@ -Subproject commit a6ee39156b49b003a23cce27e9be25a5e6494a1f +Subproject commit a524651117e8ecffddb2481134ad4bd5194db7aa