diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-10-19 13:43:22 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-10-19 13:43:22 +0200 |
| commit | 413d6e1d36ddc380456c5970398c5b5b9d059a25 (patch) | |
| tree | fa288fc9e18a7e84ff0a17f2ff2001aab57824c7 /doc/VERSION.json | |
| parent | 28cdb75b932df01ed5eeb3ea3f27a134b00ee864 (diff) | |
#872: update list of closed tickets.
Diffstat (limited to 'doc/VERSION.json')
0 files changed, 0 insertions, 0 deletions