Processed: user release.debian.org@packages.debian.org, usertagging 725155, usertagging 725158 ...
Processing commands for control@bugs.debian.org:
> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was adam@adam-barratt.org.uk).
> usertags 725155 + binnmu
Usertags were: nmu.
Usertags are now: nmu binnmu.
> usertags 725158 + binnmu
Usertags were: nmu.
Usertags are now: nmu binnmu.
> usertags 725226 + binnmu
There were no usertags set.
Usertags are now: binnmu.
> tags 725246 + wheezy
Bug #725246 [release.debian.org] pu: package php5/5.4.4-14+deb7u5
Added tag(s) wheezy.
> usertags 725295 + binnmu
There were no usertags set.
Usertags are now: binnmu.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
725246: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725246
725295: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725295
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: