diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-04-20 21:38:02 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-04-20 21:38:02 +0200 |
| commit | 27c921c7c45f8ea8fed5c945a9e0ae0cfcc1c8e9 (patch) | |
| tree | 16da56b06fb589d3be77fc48c2116b7cb54647dc /NEWS | |
| parent | 92d9ec69e6d8e9f7eb0be0d6a7f67444189b319e (diff) | |
finished implementing #4956 in principle, but not yet tested
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions