Web lists-archives.com

Re: [PATCH 08/23] lockfile: add a new method, is_lock_file_locked()




On Wed, May 17, 2017 at 02:05:31PM +0200, Michael Haggerty wrote:

> It will soon prove useful.

Very mysterious...

-Peff