Hi David, On lun., 29 août 2022 at 09:59, "Thompson, David" <dthomps...@worcester.edu> wrote:
> To any other maintainer or core dev: If any of you wants to sign off on > this patch as-is, I'll merge it. I have commit access. I am not maintainer, Maxime neither AFAIK, and I am not a “core dev“ neither. For what it is worth, your patch LGTM; please push. The patch seems a pragmatic workaround waiting an implementation more robust as Maxime has proposed. Feel free to send here or open another submission for this upcoming “better” fix. BTW, unrelated but Gitolite in Guix requires some love. If you have time, a look at bug#25957 [1] would be appreciated. :-) Cheers, simon 1: <http://issues.guix.gnu.org/issue/25957>