commit | 430f82817d048ac917f1956e07d9089b9fd7e695 | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Tue Mar 27 13:59:56 2018 +0430 |
committer | GitHub <noreply@github.com> | Tue Mar 27 13:59:56 2018 +0430 |
tree | bb917efdd497918c979291b14ce46753e161918b | |
parent | 07851aae9d28fed751663c543799f2b59369f892 [diff] |
[ci] Fix coverage build fail (#925)