Reported in the best upstream location I could find: https://gitlab.gnome.org/Community/Ubuntu/gtk-common-themes/issues/4
Reported in the best upstream location I could find: https:/ /gitlab. gnome.org/ Community/ Ubuntu/ gtk-common- themes/ issues/ 4