Subject: Re: bug#34911: 26.1; doc about lock file names

From: Eli Zaretskii <[email-masked]>
Date: Tue, 19 Mar 2019 09:07:12 +0200

close 25469 26.2
thanks

> From: Glenn Morris <[email-masked]>
> Date: Mon, 18 Mar 2019 19:17:51 -0400
> 
> 
> https://debbugs.gnu.org/25469

This was fixed already, so that bug should be closed.

I'm not yet closing this one, because it seems to say something beyond
the issue raised in 25469.