From 70020581fd0e7ac639ae70bacd00fa1ec1b51f20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Hru=C5=A1ka?= Date: Sat, 18 Aug 2018 18:26:22 +0200 Subject: [PATCH] bump frontend revision --- front-end | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/front-end b/front-end index e25523d..ef05565 160000 --- a/front-end +++ b/front-end @@ -1 +1 @@ -Subproject commit e25523de11484d306a8cc5cb7b9d3c5839edd916 +Subproject commit ef055651557a23376995a79278e4b2e85ba96ee1