Merge branch 'rename-theme-resources' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 27 Mar 2020 16:37:31 +0000 (16:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 27 Mar 2020 16:37:31 +0000 (16:37 +0000)
Rename GResources for standard GTK themes

See merge request GNOME/gtk!1576


Trivial merge