No matches were found for subject:"Bug#404394\: after running tvtime output is mangled in a newly opened gnome\-terminal"