Merge master into staging-next

This commit is contained in:
github-actions[bot]
2021-02-09 00:36:17 +00:00
committed by GitHub
41 changed files with 509 additions and 295 deletions

View File

@@ -1,6 +1,6 @@
source $stdenv/setup
(echo '#!/usr/bin/env sh'; \
(echo "#!$SHELL"; \
echo 'ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no "$@"') > ssh
chmod +x ssh
export CVS_RSH=$PWD/ssh