Merge branch 'master' into master

This commit is contained in:
Chuanying 2019-12-18 22:11:57 -08:00 committed by GitHub
commit 27864c32cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -972,4 +972,4 @@ wait
pass
echo "cleaning up $DIR"
rm -rf "$DIR"
rm -rf "$DIR"