commit | 8b60e7c2c301a24906d591c80c42fd5e506072d2 | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Mon Jan 22 18:37:26 2018 +0330 |
committer | GitHub <noreply@github.com> | Mon Jan 22 18:37:26 2018 +0330 |
tree | 309ed2d636adf34d398d1b417f06858edfc168f5 | |
parent | aaf934de3b9e3447897b4da566655d6d0494e87b [diff] |
[ci] minor, less hacks (#722)