| commit | 7c6937e7c7b62602fef10ac4b2e164d0c67c932b | [log] [tgz] |
|---|---|---|
| author | ebraminio <ebrahim@gnu.org> | Mon Nov 20 14:49:22 2017 -0500 |
| committer | GitHub <noreply@github.com> | Mon Nov 20 14:49:22 2017 -0500 |
| tree | 2f42cd4fcc58b46157852520d822dedd7307b062 | |
| parent | baf7779d2d6e4810168a8f036bbf8f9e6493dd1a [diff] |
Move all references of old url to the new address (#622)
