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

Processed: merging 520101 519571 514857

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.35lenny7
> merge 520101 519571 514857
Bug#514857: zsh -c 'set -e; ! true; echo OK' fails
Bug#519571: zsh -c 'set -e; ! if true; then false; fi; echo $?' fails
Bug#520101: zsh: set -e and function exit status failure
Merged 514857 519571 520101.

End of message, stopping processing here.

Please contact me if you need assistance.
519571: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=519571
520101: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=520101
514857: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=514857
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to: