[Pkg-zsh-devel] Bug#860033: marked as done (/usr/bin/zsh gone after dist-upgrade)

Tue Apr 11 20:54:08 UTC 2017

Your message dated Tue, 11 Apr 2017 20:52:32 +0000
with message-id <E1cy2m8-0001q9-E2 at fasolo.debian.org>
and subject line Bug#860033: fixed in zsh 5.3.1-4
has caused the Debian Bug report #860033,
regarding /usr/bin/zsh gone after dist-upgrade
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
860033: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860033
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: ilf <ilf at zeromail.org>
Subject: /usr/bin/zsh gone after dist-upgrade
Date: Mon, 10 Apr 2017 15:58:47 +0200
Size: 4207
URL: <http://lists.alioth.debian.org/pipermail/pkg-zsh-devel/attachments/20170411/b00e8d51/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Axel Beckert <abe at debian.org>
Subject: Bug#860033: fixed in zsh 5.3.1-4
Date: Tue, 11 Apr 2017 20:52:32 +0000
Size: 7280
URL: <http://lists.alioth.debian.org/pipermail/pkg-zsh-devel/attachments/20170411/b00e8d51/attachment-0001.mht>