Merge pull request #117919 from i077/patch-1

Correct typo in alias for inter font
This commit is contained in:
Sandro 2021-03-29 09:58:59 +02:00 committed by GitHub
commit 06227dd2f9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -308,7 +308,7 @@ mapAliases ({
inboxer = throw "inboxer has been removed as it is no longer maintained and no longer works as Google shut down the inbox service this package wrapped.";
infiniband-diags = rdma-core; # added 2019-08-09
inotifyTools = inotify-tools;
inte-ui = inter; # added 2021-03-27
inter-ui = inter; # added 2021-03-27
i-score = throw "i-score has been removed: abandoned upstream."; # added 2020-11-21
jamomacore = throw "jamomacore has been removed: abandoned upstream."; # added 2020-11-21
jbidwatcher = throw "jbidwatcher was discontinued in march 2021"; # added 2021-03-15