Processed: [bts-link] source package gnome-terminal

Debian Bug Tracking System owner at bugs.debian.org
Mon Nov 23 17:21:06 GMT 2020


Processing commands for control at bugs.debian.org:

> #
> # bts-link upstream status pull for source package gnome-terminal
> # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
> #     https://bts-link-team.pages.debian.net/bts-link/
> #
> user debian-bts-link at lists.debian.org
Setting user to debian-bts-link at lists.debian.org (was debian-bts-link at lists.debian.org).
> # remote status report for #240142 (http://bugs.debian.org/240142)
> # Bug title: gnome-terminal: Ctrl-+ or - should work on keypad too
> #  * http://bugzilla.gnome.org/show_bug.cgi?id=579681
> #  * remote status changed: NEW -> RESOLVED
> #  * remote resolution changed: (?) -> OBSOLETE
> #  * closed upstream
> tags 240142 + fixed-upstream
Bug #240142 [gnome-terminal] gnome-terminal: Ctrl-+ or - should work on keypad too
Added tag(s) fixed-upstream.
> usertags 240142 - status-NEW
Usertags were: status-NEW.
Usertags are now: .
> usertags 240142 + status-RESOLVED resolution-OBSOLETE
There were no usertags set.
Usertags are now: resolution-OBSOLETE status-RESOLVED.
> thanks
Stopping processing here.

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



More information about the pkg-gnome-maintainers mailing list