Processing commands for [email protected]: > retitle 857746 pu: package redis/3:3.2.6-1 Bug #857746 {Done: Emilio Pozuelo Monfort <[email protected]>} [release.debian.org] unblock: redis/3:3.2.8-2 Changed Bug title to 'pu: package redis/3:3.2.6-1' from 'unblock: redis/3:3.2.8-2'. > tags 857746 = stretch Bug #857746 {Done: Emilio Pozuelo Monfort <[email protected]>} [release.debian.org] pu: package redis/3:3.2.6-1 Added tag(s) stretch. > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 857746 = pu Usertags were: unblock. Usertags are now: pu. > thanks Stopping processing here.
Please contact me if you need assistance. -- 857746: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857746 Debian Bug Tracking System Contact [email protected] with problems
