diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-02 14:18:11 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-02 14:18:11 +0000 |
| commit | 2eb42923521bcbe2e5bf233736bec64733542bdf (patch) | |
| tree | 30273e900afcf2110e85715efc40ab0a1bffafea /docs/version.texi | |
| parent | e2cd5ae6556359adf5116cd982a7645a69516306 (diff) | |
Version bumped to 7.18
Diffstat (limited to 'docs/version.texi')
0 files changed, 0 insertions, 0 deletions