Re: Bug with traps and exit

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Tue, 2019-12-10 at 20:23 +0100, Martijn Dekker wrote:
> Op 24-11-19 om 06:54 schreef Martijn Dekker:
> [...]
> > 
> > A related issue (possibly the same?) with a much simpler test case:
> > 
> > trap 'echo SIGINT; trap - INT; kill -s INT $$; echo woops' INT
> > kill -s INT $$
> > 
> > zsh prints 'woops', but shouldn't.
> Ping?
> 
> Is this just being missed, or is it considered too unimportant?

Are you saying there's a fix for this we need to apply?  I haven't seen
one.

pws