This is an autogenerated message for OBS integration: This bug (1139990) was mentioned in https://build.opensuse.org/request/show/907064 Factory / gnome-shell-extensions