From: Jeff King Date: Wed, 17 May 2017 13:12:37 GMT Subject: Re: [PATCH 08/23] lockfile: add a new method, is_lock_file_locked() 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