Subject: Re: [bug#31570] [PATCH 0/3] gnu: javacc: Bootstrap from javacc-4 instead of bootstrap binary.

From: Danny Milosavljevic <[email-masked]>
Date: Thu, 18 Oct 2018 17:03:55 +0200

Hi Alex,

On Thu, 18 Oct 2018 05:47:33 +0800
Alex Vong <[email-masked]> 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, 6662d65f96b948271eeaa0ba5c93d0e61663e7d3, 53fb0476ec4e5df9511490aaf8c3c70ba68aa83b.