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 /bg | |
parent | e2cd5ae6556359adf5116cd982a7645a69516306 (diff) |
Version bumped to 7.18
Diffstat (limited to 'bg')
0 files changed, 0 insertions, 0 deletions