Processed: z3 4.4.1-0.4~deb9u1 flagged for acceptance

Processing control commands: > tags -1 + pending Bug #908957 [release.debian.org] stretch-pu: package z3/4.4.1-0.4~deb9u1 Ignoring request to alter tags of bug #908957 to the same tags previously set -- 908957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908957 Debian Bug Tracking System C

Processed: z3 4.4.1-0.4~deb9u1 flagged for acceptance

Processing control commands: > tags -1 + pending Bug #908957 [release.debian.org] stretch-pu: package z3/4.4.1-0.4~deb9u1 Added tag(s) pending. -- 908957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908957 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems