No matches were found for subject:"\[Bug 2064695\] Re\: gnome terminal doesn't respect gnome theme setting"