diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-11-24 00:25:17 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-11-24 00:25:17 +0100 |
| commit | ef2965816109cdf116b91cd838163b294c70057a (patch) | |
| tree | 9adaac58b4b82d08afc489b0bdbce9c37e36e78a /NEWS | |
| parent | 4c628aba80a28c71881baa149883d1028ee77a65 (diff) | |
fix #7107
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions