Processing commands for [email protected]: > 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 [email protected] with problems
