Subject: Re: [bug#48947] [PATCH] gnu: proof-general: Update to 4.4-0.bc86736.

From: zimoun <[email-masked]>
Date: Thu, 10 Jun 2021 18:07:03 +0200

Hi,

On Thu, 10 Jun 2021 at 15:31, Xinglu Chen <[email-masked]> wrote:
>
> There hasn’t been a new release since 2016 and there has been more than 450
> new commits since then.

Cool!

Does this patch fix the bug#46016?

<http://issues.guix.gnu.org/issue/46016>

All the best,
simon