Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1

[Adam D. Barratt]

Control: tags -1 + confirmed

On Sat, 2019-08-24 at 08:39 +0200, Andreas Beckmann wrote:
> I'd like to rebuild z3 from sid for buster to fix the incorrect
> SONAME of libz3java.so (#842892)

Please go ahead.

Regards,

Adam