Bug#935581: z3 4.4.1-1~deb9u1 flagged for acceptance

To: 935581@bugs.debian.org
Cc: 935581-submitter@bugs.debian.org
Subject: Bug#935581: z3 4.4.1-1~deb9u1 flagged for acceptance
From: Adam D Barratt <adam@adam-barratt.org.uk>
Date: Sun, 25 Aug 2019 13:57:14 +0000
Message-id: <[🔎] E1i1t18-0008JQ-4T@coccia.debian.org>
Reply-to: Adam D Barratt <adam@adam-barratt.org.uk>, 935581@bugs.debian.org
References: <[🔎] 156663260446.20969.2987282804462762582.reportbug@zam581.zam.kfa-juelich.de>

package release.debian.org
tags 935581 = stretch pending
thanks

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-1~deb9u1

Explanation: do not set the SONAME of libz3java.so to libz3.so.4

Reply to:

Follow-Ups:
- Processed: z3 4.4.1-1~deb9u1 flagged for acceptance
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

References:
- Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Bug#935473: xymon 4.3.28-2+deb9u1 flagged for acceptance
Next by Date: Processed: pound 2.7-1.3+deb9u1 flagged for acceptance
Previous by thread: Processed: Re: Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
Next by thread: Processed: z3 4.4.1-1~deb9u1 flagged for acceptance
Index(es):
- Date
- Thread