Processed: Re: Bug#739266: wheezy-pu: package hdf5/1.8.8-9+deb7u1 (was: nmu: hdf5_1.8.8-9)

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

Processing commands for control@bugs.debian.org:

> retitle 739266 wheezy-pu: package hdf5/1.8.8-9+deb7u1
Bug #739266 [release.debian.org] nmu: hdf5_1.8.8-9
Changed Bug title to 'wheezy-pu: package hdf5/1.8.8-9+deb7u1' from 'nmu: hdf5_1.8.8-9'
> tag 739266 wheezy
Bug #739266 [release.debian.org] wheezy-pu: package hdf5/1.8.8-9+deb7u1
Added tag(s) wheezy.
> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was pini@debian.org).
> usertag 739266 - binnmu
Usertags were: binnmu.
Usertags are now: .
> usertag 739266 + pu
There were no usertags set.
Usertags are now: pu.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
739266: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=739266
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems