Hi Ludo, On Fri, 16 Oct 2020 12:38:23 +0200 Ludovic Courtès <l...@gnu.org> wrote:
> As for the manual, I’m afraid it’ll make every msgid that contains
> @code{#t} stale. So maybe now’s not a good time to make this change?
Now's definitely not a good time to make this change.
I think it's a good idea to make the change eventually, but I wouldn't change
it so short before a release.
pgps7Qk_esiV2.pgp
Description: OpenPGP digital signature
