No matches were found for subject:"\[Bug 1725536\] Re\: Ubuntu dock and panel doesn't respect the color choice of the Gnome Shell theme"