[Pkg-zsh-devel] Processed: Re: Bug#860033: Bug#860033: /usr/bin/zsh gone after dist-upgrade

Debian Bug Tracking System owner at bugs.debian.org
Mon Apr 10 22:57:03 UTC 2017


Processing control commands:

> tag -1 - unreproducible moreinfo
Bug #860033 [zsh] /usr/bin/zsh gone after dist-upgrade
Ignoring request to alter tags of bug #860033 to the same tags previously set

-- 
860033: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860033
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-zsh-devel mailing list