Ubuntu
gnome-themes-extra package

  1. Bug #1813465
  2. Comment #3

Comment 3 for bug 1813465

Revision history for this message
Kristian Rink (kawazu) wrote :

Added myself to the list. Same issue here, fresh install of 18.10 with vanilla-gnome-default-settings and arc theme.