Merge pull request #13102 from neheb/str
authorRosen Penev <rosenp@gmail.com>
Thu, 13 Aug 2020 08:19:51 +0000 (01:19 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Aug 2020 08:19:51 +0000 (01:19 -0700)
stress: use fossies mirror


Trivial merge