Processed: Re: Bug#704601: unblock: hdf5/1.8.8-9.1
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 704601 = pu
Usertags were: unblock.
Usertags are now: pu.
> retitle 704601 pu: hdf5/1.8.8-9+deb7u1
Bug #704601 [release.debian.org] unblock: hdf5/1.8.8-9.1
Changed Bug title to 'pu: hdf5/1.8.8-9+deb7u1' from 'unblock: hdf5/1.8.8-9.1'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
704601: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704601
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: