Bug#935576: z3 4.4.1-1~deb10u1 flagged for acceptance

To: 935576@bugs.debian.org
Cc: 935576-submitter@bugs.debian.org
Subject: Bug#935576: z3 4.4.1-1~deb10u1 flagged for acceptance
From: Adam D Barratt <adam@adam-barratt.org.uk>
Date: Sun, 25 Aug 2019 14:03:46 +0000
Message-id: <[🔎] E1i1t7S-0000Jc-GB@coccia.debian.org>
Reply-to: Adam D Barratt <adam@adam-barratt.org.uk>, 935576@bugs.debian.org
References: <[🔎] 156662878661.19068.3988997183626167650.reportbug@zam581.zam.kfa-juelich.de>

package release.debian.org
tags 935576 = buster pending
thanks

Hi,

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

Thanks for your contribution!

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

Package: z3
Version: 4.4.1-1~deb10u1

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

Reply to:

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

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

Prev by Date: Bug#934650: open-infrastructure-compute-tools 20190301-lts2-1~deb10u1 flagged for acceptance
Next by Date: Processed: gcab 1.2-3~deb10u1 flagged for acceptance
Previous by thread: Processed: Re: Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1
Next by thread: Processed: z3 4.4.1-1~deb10u1 flagged for acceptance
Index(es):
- Date
- Thread