Martin Ågren [off-list ref] writes:
On Mon, 23 Jan 2023 at 10:01, Andrei Rybak [off-list ref] wrote:
quoted
highlighted with a `$` sign; if you are trying to recreate these
-example by hand, do not cut and paste them---they are there
+example by hand, do not cut and paste them--they are there
primarily to highlight extra whitespace at the end of some lines.
OK, so this is one of the new ones compared to v1. I can see the
argument for adding some spaces around the "--" for consistency and to
make this a bit easier to read in the resulting manpage (which can of
course be very subjective), but then I can also see that kind of change
being left out as orthogonal to this patch.
This v2 patch looks good to me.
Thanks, both. Will queue.