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

[zimoun]

Hi,

On Thu, 10 Jun 2021 at 15:31, Xinglu Chen <public@yoctocell.xyz> 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