fix typo in bash script (#9462)

This commit is contained in:
gabriel klawitter 2018-09-04 10:58:13 +02:00 committed by GitHub
parent da5ba4ccc8
commit 502bacea82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23