guile-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v1 2/6] docs/match: rm unquote-splicing as it interferes with


From: Maxime Devos
Subject: Re: [PATCH v1 2/6] docs/match: rm unquote-splicing as it interferes with textinfo
Date: Sat, 28 Jan 2023 14:08:56 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0



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.

Attachment: OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]