diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-04-22 19:29:10 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-04-22 19:29:10 +0200 |
| commit | 570e249505b5de4535ef19b6a16472e781369014 (patch) | |
| tree | 75e9ebdcebd45c3985da6f0bb6b80afc43639605 /doc/VERSION.json | |
| parent | c3e4ff16fe3448515acf529fb5f0f371e748b00a (diff) | |
#959: Update list of closed tickets.
Diffstat (limited to 'doc/VERSION.json')
0 files changed, 0 insertions, 0 deletions