Processed: Re: [Debian-on-mobile-maintainers] Bug#1017015: gnome-console: bugs after switch to GTK4

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1017015 src:vte2.91
Bug #1017015 [src:gnome-console] gnome-console: copying won't work if end of line is selected
Bug reassigned from package 'src:gnome-console' to 'src:vte2.91'.
No longer marked as found in versions gnome-console/43~beta-1.
Ignoring request to alter fixed versions of bug #1017015 to the same values previously set
>
End of message, stopping processing here.

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