On 1/10/2020 6:24 AM, Derrick Stolee wrote: > 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. (Forgive me for fat-fingering and accidentally using "gmx.net" instead of "gmx.de" for Johannes' email address. Fixed in this message.) -Stolee
