Because the result in the final commit is better. Sorry, I should have added this commit to fixup when I was rebasing.
On Sat, Jan 28, 2023, 20:08 Maxime Devos <maximede...@telenet.be> wrote: > > > 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. >
