bug#46016: broken Proof-General (emacs front-end to Coq)

[zimoun]

Hi,

I think this bug is fixed by patch#51755 [1].

1: <http://issues.guix.gnu.org/issue/51755>

Cheers,
simon