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

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 gnome-console: copying won't work if end of line is selected
Bug #1017015 [src:gnome-console] gnome-console: bugs after switch to GTK4
Changed Bug title to 'gnome-console: copying won't work if end of line is selected' from 'gnome-console: bugs after switch to GTK4'.

-- 
1017015: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017015
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems