Merge pull request #1 from thuehn/patch-1
authorJohn Crispin <john@phrozen.org>
Thu, 19 Nov 2020 20:37:44 +0000 (21:37 +0100)
committerGitHub <noreply@github.com>
Thu, 19 Nov 2020 20:37:44 +0000 (21:37 +0100)
[fix] binary file name should be usteerd


Trivial merge