Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > 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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
