Subject: Re: bug#65577: 29.1; set <signal> <usr1> in global map
From: Eli Zaretskii <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sat, 02 Sep 2023 10:39:50 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> From: Stefan Monnier <[email-masked]>
> Cc: Shynur Xie <[email-masked]>,  [email-masked]
> Date: Thu, 31 Aug 2023 08:54:01 -0400
> 
> > Stefan, it sounds like the first example is some left-over from old
> > handling of signals?
> 
> Something like that, yes.  It's definitely not going to work :-(

Thanks, I removed this example from the manual, and I'm now closing
this bug.