Keep the patch for 7.1.x fresh

This commit is contained in:
ilmari-lauhakangas 2021-08-19 19:34:45 +03:00 committed by GitHub
parent f3c17463a1
commit 7d70d52346
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,4 +7,5 @@ attrs:
configureFlags = attrs.configureFlags ++ [ configureFlags = attrs.configureFlags ++ [
(lib.enableFeature kdeIntegration "kf5") (lib.enableFeature kdeIntegration "kf5")
]; ];
patches = [ ../xdg-open-brief.patch ]; # drop this when switching fresh to 7.2.0
} }