commit | ebc021bcca293234c7eabf2683aa8beb9f220594 | [log] [tgz] |
---|---|---|
author | Michael Thomsen <mit@google.com> | Thu Oct 10 10:57:15 2019 +0200 |
committer | GitHub <noreply@github.com> | Thu Oct 10 10:57:15 2019 +0200 |
tree | cda12b3bb0ecdaf43ca7d8d131687e335a373056 | |
parent | f46c1f42c6f7f1938f2ff27c573da72d57c47ded [diff] |
Fix travis (#8)