Merge pull request from rhendric/patch-1

build02: correct for alphabetic bias in updates
This commit is contained in:
Ryan Mulligan 2022-12-17 05:53:38 -08:00 committed by GitHub
commit 287c9fff17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -99,7 +99,7 @@ let
mkfifo $pipe || true mkfifo $pipe || true
fi fi
${cmd} > $pipe ${cmd} | sort -R > $pipe
''; '';
}; };