Processed: reassign 712208 to libvte-2.90-common, forcibly merging 706065 712208, affects 706065

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 712208 libvte-2.90-common 1:0.34.6-1
Bug #712208 [libvte-2.90-9] gnome-terminal: New tab is always opened in home directory (instead of working directory)
Bug reassigned from package 'libvte-2.90-9' to 'libvte-2.90-common'.
No longer marked as found in versions vte3/1:0.34.6-1.
Ignoring request to alter fixed versions of bug #712208 to the same values previously set
Bug #712208 [libvte-2.90-common] gnome-terminal: New tab is always opened in home directory (instead of working directory)
Marked as found in versions vte3/1:0.34.6-1.
> forcemerge 706065 712208
Bug #706065 [libvte-2.90-common] libvte-2.90-common: /etc/profile.d/vte.sh is not sourced by interactive shells
Bug #706065 [libvte-2.90-common] libvte-2.90-common: /etc/profile.d/vte.sh is not sourced by interactive shells
Marked as found in versions vte3/1:0.34.6-1.
Bug #712208 [libvte-2.90-common] gnome-terminal: New tab is always opened in home directory (instead of working directory)
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=697475'.
Severity set to 'normal' from 'important'
712208 was not blocked by any bugs.
712208 was not blocking any bugs.
Added blocking bug(s) of 712208: 675008
Marked as found in versions vte3/1:0.34.3-1.
Added tag(s) confirmed.
Merged 706065 712208
> affects 706065 gnome-terminal
Bug #706065 [libvte-2.90-common] libvte-2.90-common: /etc/profile.d/vte.sh is not sourced by interactive shells
Bug #712208 [libvte-2.90-common] gnome-terminal: New tab is always opened in home directory (instead of working directory)
Added indication that 706065 affects gnome-terminal
Added indication that 712208 affects gnome-terminal
> thanks
Stopping processing here.

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