From 7e4f8ae2f99240f7c61daa4eef938e6ef8b91bd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Thu, 25 Jan 2018 12:30:10 +0100 Subject: [PATCH] Update frontend --- src/frontend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontend b/src/frontend index 8313b89..7e4bc12 160000 --- a/src/frontend +++ b/src/frontend @@ -1 +1 @@ -Subproject commit 8313b8959066e1f2284f933886d09f590b1118b4 +Subproject commit 7e4bc12616026c10829c5b50984f6053e31d3b82