From 68ffcebbf20d2ecec9a44d57347f5513441c1410 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= Date: Wed, 8 Jan 2020 14:53:10 +0100 Subject: [PATCH] io.elementary.termial: rebuild to fix libgee08 dep --- srcpkgs/io.elementary.terminal/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/io.elementary.terminal/template b/srcpkgs/io.elementary.terminal/template index ad4ae8634be..eef0b9fb4d9 100644 --- a/srcpkgs/io.elementary.terminal/template +++ b/srcpkgs/io.elementary.terminal/template @@ -1,7 +1,7 @@ # Template file for 'io.elementary.terminal' pkgname=io.elementary.terminal version=5.5.0 -revision=1 +revision=2 wrksrc="terminal-${version}" build_style=meson configure_args="-Dubuntu-bionic-patched-vte=false"