[Pkg-zsh-devel] Processed: Re: Bug#859070: /bin/zsh: status of resumed background jobs incorrectly listed as 'unknown signal (core dumped)'
Debian Bug Tracking System
owner at bugs.debian.org
Thu Oct 19 07:36:07 UTC 2017
Processing control commands:
> fixed -1 5.4.1-1
Bug #859070 [zsh] /bin/zsh: status of resumed background jobs incorrectly listed as 'unknown signal (core dumped)'
Marked as fixed in versions zsh/5.4.1-1.
--
859070: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859070
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Pkg-zsh-devel
mailing list