Because the result in the final commit is better. Sorry, I should have added this commit to fixup when I was rebasing.
On 28-01-2023 10:14, Blake Shaw wrote:
> Thanks! The new latest edit is still preferred but I'll keep that in
> mind for the future.
I don't follow? The commit message was:
> [PATCH v1 2/6] docs/match: rm unquote-splicing as it interferes with textinfo
> don't know how to fix this rn, but...
I.e., this commit is just a work-around for broken Texinfo markup. Why
would you settle for a work-around when a fix (i.e. @@ instead of @) is
available?
Greetings,
Maime.