Subject: bug#35885: 25.2; Few mistakes in Emacs Manual (+ proposals)

From: Eli Zaretskii <[email-masked]>
Date: Thu, 20 Aug 2020 16:35:13 +0300

> From: Lars Ingebrigtsen <[email-masked]>
> Cc: Eli Zaretskii <[email-masked]>,  [email-masked]
> Date: Thu, 20 Aug 2020 14:44:30 +0200
> 
> I have no opinion on whether to use @verb here or not -- perhaps Eli has?

I don't think we should use @verb in this case, no.