From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45351) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fya0x-0005TV-Pj for guix-patches@gnu.org; Sat, 08 Sep 2018 05:58:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fyZtQ-0007WI-VP for guix-patches@gnu.org; Sat, 08 Sep 2018 05:51:08 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:45020) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fyZtO-0007Um-Ky for guix-patches@gnu.org; Sat, 08 Sep 2018 05:51:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fyZtO-00087h-EJ for guix-patches@gnu.org; Sat, 08 Sep 2018 05:51:02 -0400 Subject: [bug#32634] [PATCH 2/2] ui: Add soft port for styling and filtering build output. Resent-Message-ID: Date: Sat, 8 Sep 2018 11:49:54 +0200 From: Danny Milosavljevic Message-ID: <20180908114954.4bd70900@scratchpost.org> In-Reply-To: <20180904153226.17555-2-rekado@elephly.net> References: <20180904153226.17555-1-rekado@elephly.net> <20180904153226.17555-2-rekado@elephly.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/M=L_OtWifBg0qLAEc_GPzCU"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ricardo Wurmus Cc: 32634@debbugs.gnu.org --Sig_/M=L_OtWifBg0qLAEc_GPzCU Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable LGTM (although the "print-build-trace" option is not documented in the help= - is that on purpose?) --Sig_/M=L_OtWifBg0qLAEc_GPzCU Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEyBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAluTm0IACgkQ5xo1VCww uqVagAf46Ko+0FIKDyu5gnOlpv9VwcKUwM+bHRqxRHAmSHiljiE191ovutAh1hja djSrSLohFUXi+gQbsBaHUFoXuL/GdwcPEJUFnT7LdUCpNoQqbUlaDHEo+bhyqTeK hnx7VEq/xNpDeC7eXm5+GQN4yBYAreOG14WhT2Ci78c1cUJZKV1GoLiwksGgt16J gSxXL72LrzCCf6sv1eebaoDzGNXAhM956PvDRh2TwGlp9yOYxvtinduc7PLlKJps pC/t2yVpSXGpgsGASMXioNoersxoON9OxN/SrDDQbrRqG2/T4MLG1P2/rfhb5YZR 5cruzYGZfyC7Ey1tSJyvpuvdLwZO =jRRK -----END PGP SIGNATURE----- --Sig_/M=L_OtWifBg0qLAEc_GPzCU--