commit | a6bd6bcee08c9522f9269b5c63f784688abddcff | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Thu Feb 22 16:52:56 2018 +0330 |
committer | GitHub <noreply@github.com> | Thu Feb 22 16:52:56 2018 +0330 |
tree | cc2211f7777da272699a43cd1141cc947f7ae270 | |
parent | fa13a04cf3345311a2434f0d7f6346f967491c45 [diff] |
[dev-run] minor