diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-08-18 10:25:42 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-08-18 10:25:42 +0200 |
| commit | 37ef7e19c4ac4af2afabd6c900779c4f6f5b64a9 (patch) | |
| tree | 24e800b51dc970e5c5921c9e1bcefb582fbf14bd /AUTHORS | |
| parent | 765e97ea1a9d3f53c8ffe75a0f595452f640974c (diff) | |
-swap WARNING/ERROR to fix #6991
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions