Version: 40.0-1

On Wed, 08 Apr 2020 at 02:11:49 +0100, Simon McVittie wrote:
> One way to solve this would be to remove the extensions support (upstream
> #272, !50).

That happened upstream in version 40.

> gnome-tweaks used to be the place to configure extensions, so it should
> probably have a Recommends on gnome-shell-extension-prefs.

In fact, it has a Depends.

    smcv

Reply via email to