Bug#908957: z3 4.4.1-0.4~deb9u1 flagged for acceptance

To: 908957@bugs.debian.org
Cc: 908957-submitter@bugs.debian.org
Subject: Bug#908957: z3 4.4.1-0.4~deb9u1 flagged for acceptance
From: Adam D Barratt <adam@adam-barratt.org.uk>
Date: Fri, 07 Dec 2018 20:03:59 +0000
Message-id: <[🔎] E1gVMLv-00082G-DN@coccia.debian.org>
Reply-to: Adam D Barratt <adam@adam-barratt.org.uk>, 908957@bugs.debian.org
References: <153712162315.11887.11774678861573697002.reportbug@localhost>

Control: tags -1 + pending

Hi,

The upload referenced by this bug report has been flagged for acceptance into the proposed-updates queue for Debian stretch.

Thanks for your contribution!

Upload details
==============

Package: z3
Version: 4.4.1-0.4~deb9u1

Explanation: remove incorrect Multi-Arch: same from python-z3

Reply to:

Prev by Date: Bug#909127: ibus 1.5.14-3+deb9u1 flagged for acceptance
Next by Date: Processed: z3 4.4.1-0.4~deb9u1 flagged for acceptance
Previous by thread: Processed: ibus 1.5.14-3+deb9u1 flagged for acceptance
Next by thread: Processed: z3 4.4.1-0.4~deb9u1 flagged for acceptance
Index(es):
- Date
- Thread