On 04/01/2014 10:19 PM, Jeff King wrote:
> On Tue, Apr 01, 2014 at 05:58:17PM +0200, Michael Haggerty wrote:
>> + Emit an error describing that there was an error locking the
>> + specified path. The err parameter should be the errno of the
>> + problem that caused the failure.
>> + Like `unable_to_lock_error()`, but also `die()`.
> Should this last one lost the "index" in its name? I think it is
> vestigial at this point.
Yes. Will be done in re-roll.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html