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

Paul Tan [off-list ref] 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.