(For the future, just to make discussions easier, it would be good if
you could have git format-patch -v N to give a unique version number
to these patches)
On Thu, 14 Apr 2022 at 05:40, Justin Pryzby <pryzby@telsasoft.com> wrote:
> There's (only) a few remaining.
I've pushed 0001 and 0002 of the 3rd batch of patches. I left 0003 as
I just didn't feel it was a meaningful enough improvement.
From docs/, if I do:
$ git grep ", which is the default" | wc -l
9
$ git grep ", the default" | wc -l
64
You're proposing to make the score 10, 63. I'm not sure if that's a
good direction to go in.
David