From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48560) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gD9rI-00019K-5o for guix-patches@gnu.org; Thu, 18 Oct 2018 11:05:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gD9rD-0008Ep-71 for guix-patches@gnu.org; Thu, 18 Oct 2018 11:05:08 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52984) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gD9rC-0008EV-TK for guix-patches@gnu.org; Thu, 18 Oct 2018 11:05:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gD9rC-0004dx-Fh for guix-patches@gnu.org; Thu, 18 Oct 2018 11:05:02 -0400 Subject: bug#31570: [PATCH 0/3] gnu: javacc: Bootstrap from javacc-4 instead of bootstrap binary. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Thu, 18 Oct 2018 17:03:55 +0200 From: Danny Milosavljevic Message-ID: <20181018170355.6a8bb5aa@scratchpost.org> In-Reply-To: <878t2wdz4a.fsf@gmail.com> References: <87d0s8e13y.fsf@gmail.com> <878t2wdz4a.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/HyUxZWkEXrcI/3o7TFovZE="; 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: Alex Vong Cc: 31570-done@debbugs.gnu.org, Ricardo Wurmus --Sig_/HyUxZWkEXrcI/3o7TFovZE= Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi Alex, On Thu, 18 Oct 2018 05:47:33 +0800 Alex Vong wrote: > I have tested the patches just now. All of them still apply. But I don't > have push right. Can someone please push it for me? Pushed as 33428d12672fefde745b313ce1f0c02ae9870e39, 6662d65f96b948271eeaa0b= a5c93d0e61663e7d3, 53fb0476ec4e5df9511490aaf8c3c70ba68aa83b. --Sig_/HyUxZWkEXrcI/3o7TFovZE= Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlvIoNsACgkQ5xo1VCww uqXdPwf/S4wy8BpAf/aD6qx1wdUj945qS2DEWeF2pvTxkfkdWajivhUzs0sx5fTd ev7MfUP9W1u7stNpKuVqZM1cHXPS/LGEKTm4tVnJGbLzxB+TNTQc3SG6aHA+s72x aCObHl7FbQ/9vsYFsvwtoX7pPeE3WQaW6zyCT2htX4e+ICg7QRx0IN8t5CxcNeXD biGnyLOrEHUHFFtlZNLvs1jUQwuIn8ke6RyeZ+vkF0cHs4vTEY+uB+HlnGeQXFa2 ok6OdEfCUpoq7vVS9JOtPrBa4zaxN6bTUNNqRVt6ZvRHpbMn12blxEfedGoDWCc2 QUg6svps9pueDyTU1s5Tqop0pk8VEA== =WBup -----END PGP SIGNATURE----- --Sig_/HyUxZWkEXrcI/3o7TFovZE=--