| commit | d5d2422d7b6e699a40afb96bc9bf1e406166bd6c | [log] [tgz] |
|---|---|---|
| author | Yifei Zhang <yifei.z.luiz@gmail.com> | Mon Dec 17 13:06:22 2018 -0200 |
| committer | GitHub <noreply@github.com> | Mon Dec 17 13:06:22 2018 -0200 |
| tree | 3aaad1eb6da89eaf89fcb7f49ec3b2686d434c1e | |
| parent | 494fad1d1b7a98123150f0498e4d094ff44fac7c [diff] | |
| parent | c06cb82a9c1c8ab18961d84fde38268a75554dd2 [diff] |
Merge pull request #6 from Wei-1/patch-1 [MARVIN-20] Travis-ci retry