On Wed, May 20, 2015 at 11:01 PM, Jeff King <[email protected]> wrote: > Of course adding a new option probably won't help you, as it will take > some time before it can be used reliably. I think the hack you came up > with is pretty reasonable in the meantime.
Right, so I'll keep using that hack, thanks! -- Sebastian Schuberth -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
