On 1/10/2020 5:37 AM, Jeff King wrote: > On Fri, Jan 10, 2020 at 01:59:30AM +0000, Derrick Stolee via GitGitGadget wrote: >> >> As for making it into the release, I don't know. The change is small, it >> has a very limited scope, but this flaw is also not really hurting >> anything in a major way. > > I could go either way. > > This counts as something small and obvious enough that I'd consider > slipping it in at the last minute if it were fixing a bad bug. But given > how minor the bug is, being conservative makes sense to me, if only > because it's good to exercise our release discipline muscles. :) Perhaps this should be an example for future release windows. Thanks, -Stolee
