• @TrustingZebra
      link
      110 months 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