Merge pull request #56031 from matthewbauer/priorities

Add some more priorities
This commit is contained in:
Matthew Bauer
2019-03-09 18:02:55 -05:00
committed by GitHub
6 changed files with 15 additions and 2 deletions

View File

@@ -123,6 +123,8 @@ stdenv.mkDerivation rec {
platforms = platforms.unix ++ platforms.windows;
priority = 10;
maintainers = [ maintainers.eelco ];
};