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

From: Alex Vong <[email-masked]>
Date: Thu, 18 Oct 2018 05:47:33 +0800

(Re-sending to the right place.)

Hello Julien,

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?

Thanks,
Alex