Processed: tagging 872077, tagging 784479, tagging 784559, tagging 870797, tagging 872544, tagging 873312 ...

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> tags 872077 + sid buster
Bug #872077 [xtables-addons-dkms] [xtables-addons-dkms] Error building against Linux 4.12
Added tag(s) buster and sid.
> tags 784479 + sid buster
Bug #784479 [src:kde4libs] [kde4libs] Qt4's WebKit removal
Added tag(s) buster and sid.
> tags 784559 + sid buster
Bug #784559 [src:webkit-image] [webkit-image] Qt4's WebKit removal
Added tag(s) buster and sid.
> tags 870797 + sid buster
Bug #870797 {Done: mfv@debian.org (Matteo F. Vescovi)} [libebml4v5] libebml4v5: Please rebuild against GCC 7 to fix bug 853553
Added tag(s) buster and sid.
> tags 872544 + sid buster
Bug #872544 [src:dbusada] dbusada: Please update for gnat-7
Added tag(s) sid and buster.
> tags 873312 + sid buster
Bug #873312 [python-simpy-doc,python-simpy3-doc] python-simpy3-doc and python-simpy-doc: error when trying to install together
Added tag(s) buster and sid.
> notfound 874715 17.0.2-2
Bug #874715 [src:mesa] mesa: Games like Counter-Strike Global Offensive dont start after upgrading mesa to 17.2.0-2
The source 'mesa' and version '17.0.2-2' do not appear to match any binary packages
No longer marked as found in versions mesa/17.0.2-2.
> found 874715 17.2.0-2
Bug #874715 [src:mesa] mesa: Games like Counter-Strike Global Offensive dont start after upgrading mesa to 17.2.0-2
Marked as found in versions mesa/17.2.0-2.
> tags 852560 + sid buster
Bug #852560 {Done: Nobuhiro Iwamatsu <iwamatsu@nigauri.org>} [golang-github-shirou-gopsutil] golang-github-shirou-gopsutil: Update udevadm path
Added tag(s) buster and sid.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
784479: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=784479
784559: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=784559
852560: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852560
870797: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=870797
872077: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872077
872544: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872544
873312: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873312
874715: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874715
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems