diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-12-24 23:00:13 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-12-24 23:00:13 +0100 |
commit | 8d786441b88bb0acb02d6c7ec668d9233581ddcc (patch) | |
tree | e4c00782681cedb4d53cfcf51620145a76060256 /NEWS | |
parent | 3a9d7afe33cad8bb60e72b8299a75b8275517a6e (diff) |
version bumping
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions