• @[email protected]
      link
      fedilink
      11 year ago

      This is unlikely to break GNOME Extensions. Debian and Ubuntu only ship breaking changes in new releases, so you won’t get a new GNOME version without explicitly changing your sources and doing an apt full-upgrade