Processing commands for [email protected]:

> reassign 582171 src:debbugs
Bug #582171 [debbugs] bugs.debian.org: Can't set multiple users' usertags 
during submission
Bug reassigned from package 'debbugs' to 'src:debbugs'.
Ignoring request to alter found versions of bug #582171 to the same values 
previously set
Ignoring request to alter fixed versions of bug #582171 to the same values 
previously set
> reassign 798122 src:debbugs
Bug #798122 [debbugs] user/usertag don't work in pseudoheaders
Bug reassigned from package 'debbugs' to 'src:debbugs'.
Ignoring request to alter found versions of bug #798122 to the same values 
previously set
Ignoring request to alter fixed versions of bug #798122 to the same values 
previously set
> forcemerge 582171 798122 894779
Bug #582171 [src:debbugs] bugs.debian.org: Can't set multiple users' usertags 
during submission
Bug #894779 [src:debbugs] debbugs: usertags don't work with Control: 
pseudoheaders
Severity set to 'minor' from 'normal'
Bug #798122 [src:debbugs] user/usertag don't work in pseudoheaders
Severity set to 'minor' from 'normal'
Merged 582171 798122 894779
> user [email protected]
Setting user to [email protected] (was [email protected]).
> usertag 582171 service
Usertags were: service.
Usertags are now: service.
> usertag 798122 service
There were no usertags set.
Usertags are now: service.
> usertag 894779 service
There were no usertags set.
Usertags are now: service.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
582171: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582171
798122: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798122
894779: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=894779
Debian Bug Tracking System
Contact [email protected] with problems

Reply via email to