diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-12-02 13:28:26 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-12-02 13:28:26 +0100 |
| commit | cf73354f985be17352a4d538c6f9ea69f6be9aa9 (patch) | |
| tree | 07ffd805a65c2c9992e4d6b48231849ed8a387c0 /docs/dev/news | |
| parent | 240568bf65f2257f1185927ac811dde18aeabe1d (diff) | |
Avoid redundant warnings in summaries
Diffstat (limited to 'docs/dev/news')
0 files changed, 0 insertions, 0 deletions