bug-gnu-emacs
[Top][All Lists]
Advanced

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

bug#65157: 30.0.50; Android port post-merge warnings?


From: Jens Schmidt
Subject: bug#65157: 30.0.50; Android port post-merge warnings?
Date: Fri, 11 Aug 2023 21:23:30 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.14.0

On 2023-08-10  02:37, Po Lu wrote:

But if you are dead set on not adding @node's, please make those
@node-less @sections @unnumberedsec instead.

Thanks.

Seems to be resolved, thanks, closing this bug.






reply via email to

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