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 owner@bugs.debian.org with problems