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