Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 699462 = pu Usertags were: unblock. Usertags are now: pu. > retitle 699462 pu: openblas/0.1.1-6+deb7u1 Bug #699462 [release.debian.org] unblock (pre-approval): openblas/0.1.1-7 Changed Bug title to 'pu: openblas/0.1.1-6+deb7u1' from 'unblock (pre-approval): openblas/0.1.1-7' > tags 699462 + wheezy Bug #699462 [release.debian.org] pu: openblas/0.1.1-6+deb7u1 Added tag(s) wheezy. > thanks Stopping processing here.
Please contact me if you need assistance. -- 699462: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=699462 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]
