Bug#390433: dash: does not execute EXIT trap if shell is killed

[Chris Lamb]

Chris Lamb wrote:

> tags 390433 + patch
> thanks

Hi Gerrit, 

You marked this bug as "forwarded" but I don't see anything on the mailing
list about it; should I just look harder?


Regards,

-- 
Chris Lamb, UK                                       [EMAIL PROTECTED]
                                                            GPG: 0x634F9A20

signature.asc
Description: PGP signature