Re: [PATCH 08/23] lockfile: add a new method, is_lock_file_locked()
- From
Jeff King <peff@peff.net>
- Date
- May 17, 2017, 13:12 UTC
- Message-ID
- <20170517131236.kzhsq2jehpxfd27o@sigill.intra.peff.net>
- In-Reply-To
- <70fbcd573f5c8a78a19a08ffc255437c36e7f49d.1495014840.git.mhagger@alum.mit.edu>
On Wed, May 17, 2017 at 02:05:31PM +0200, Michael Haggerty wrote:
> It will soon prove useful.
Very mysterious...
-Peff