Merge pull request #196737 from foo-dogsquared/update-gnome-extension-manager

gnome-extension-manager: remove workaround
This commit is contained in:
Bobby Rong 2022-11-05 22:38:31 +08:00 committed by GitHub
commit 1812cc4001
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -54,9 +54,6 @@ stdenv.mkDerivation rec {
text-engine
];
# See https://github.com/NixOS/nixpkgs/issues/36468.
mesonFlags = [ "-Dc_args=-I${glib.dev}/include/gio-unix-2.0" ];
meta = with lib; {
description = "Desktop app for managing GNOME shell extensions";
homepage = "https://github.com/mjakeman/extension-manager";