Processed: tagging 935576, retitle 935576 to buster-pu: package z3/4.4.1-1~deb10u1
Processing commands for control@bugs.debian.org:
> tags 935576 - stretch + buster
Bug #935576 [release.debian.org] stretch-pu: package z3/4.4.1-1~deb10u1
Removed tag(s) stretch.
Bug #935576 [release.debian.org] stretch-pu: package z3/4.4.1-1~deb10u1
Added tag(s) buster.
> retitle 935576 buster-pu: package z3/4.4.1-1~deb10u1
Bug #935576 [release.debian.org] stretch-pu: package z3/4.4.1-1~deb10u1
Changed Bug title to 'buster-pu: package z3/4.4.1-1~deb10u1' from 'stretch-pu: package z3/4.4.1-1~deb10u1'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
935576: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935576
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: