Bug#941857: marked as done (Z3 4.8.4 contains cache bugs and should not be packaged)

[Debian Bug Tracking System]

Your message dated Mon, 14 Oct 2019 08:19:22 +0200
with message-id <bb4c0076-b86d-c351-0563-7b09197ae132 at debian.org>
and subject line fixed
has caused the Debian Bug report #941857,
regarding Z3 4.8.4 contains cache bugs and should not be packaged
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.)


-- 
941857: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941857
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Roman Lebedev <lebedev.ri at gmail.com>
Subject: Z3 4.8.4 contains cache bugs and should not be packaged
Date: Sun, 06 Oct 2019 20:19:03 +0300
Size: 4247
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20191014/682a9ffd/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Sylvestre Ledru <sylvestre at debian.org>
Subject: fixed
Date: Mon, 14 Oct 2019 08:19:22 +0200
Size: 1884
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20191014/682a9ffd/attachment-0003.mht>