Sorry, maybe I was not clear on this. On 37914 there was a message that it
is ok to close 37900. See:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37914#13

Ludovic Courtès <ludo@gnu.org> ezt írta (időpont: 2019. okt. 25., P, 22:46):

> Gábor Boskovits <boskovits@gmail.com> skribis:
>
> > Submitter requested to close the bug on #37914. Closing.
>
> You closed 37900 though, not 37914, or am I missing something?
>
> Ludo’.
>


-- 
OpenPGP Key Fingerprint: 7988:3B9F:7D6A:4DBF:3719:0367:2506:A96C:CF63:0B21