Subject: Re: What's cooking in git.git (Aug 2015, #01; Mon, 3)

From: Junio C Hamano <[email-masked]>
Date: Mon, 03 Aug 2015 18:13:50 -0700

Paul Tan <[email-masked]> writes:

> I'm thinking about leaving them broken for now to push this patch
> series forward,...

Options upon restarting was not working at all with the old code
anyway, so that course of action sounds sensible.

Thanks.