Processed: reassign 917812 to packagekit, fixed 917812 in 1.1.12-2, reassign 922236 to packagekit ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 917812 packagekit
Bug #917812 {Done: Matthias Klumpp <mak at debian.org>} [gnome-software] gnome-software: update broke gnome software
Bug reassigned from package 'gnome-software' to 'packagekit'.
No longer marked as found in versions gnome-software/3.30.6-4 and gnome-software/3.30.6-1.
No longer marked as fixed in versions packagekit/1.1.12-2.
> fixed 917812 1.1.12-2
Bug #917812 {Done: Matthias Klumpp <mak at debian.org>} [packagekit] gnome-software: update broke gnome software
Marked as fixed in versions packagekit/1.1.12-2.
> reassign 922236 packagekit
Bug #922236 {Done: Matthias Klumpp <mak at debian.org>} [gnome-software] gnome-software: Gnome software stucked in endless startup loop
Bug reassigned from package 'gnome-software' to 'packagekit'.
No longer marked as found in versions gnome-software/3.30.6-4.
No longer marked as fixed in versions packagekit/1.1.12-2.
> fixed 922236 1.1.12-2
Bug #922236 {Done: Matthias Klumpp <mak at debian.org>} [packagekit] gnome-software: Gnome software stucked in endless startup loop
Marked as fixed in versions packagekit/1.1.12-2.
> reassign 919477 src:gcl
Bug #919477 {Done: Camm Maguire <camm at debian.org>} [src:acl2] acl2 ftbfs on armel, armhf, arm64 and ppc64el
Bug reassigned from package 'src:acl2' to 'src:gcl'.
No longer marked as found in versions acl2/8.0dfsg-1.
No longer marked as fixed in versions gcl/2.6.12-83.
> fixed 919477 2.6.12-83
Bug #919477 {Done: Camm Maguire <camm at debian.org>} [src:gcl] acl2 ftbfs on armel, armhf, arm64 and ppc64el
Marked as fixed in versions gcl/2.6.12-83.
> affects 919477 + src:acl2
Bug #919477 {Done: Camm Maguire <camm at debian.org>} [src:gcl] acl2 ftbfs on armel, armhf, arm64 and ppc64el
Added indication that 919477 affects src:acl2
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
917812: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=917812
919477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919477
922236: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=922236
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems