diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-23 22:43:04 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-23 22:57:39 +0200 |
| commit | b219366cdf2252ebbe8a6b0246eb4d6262ad37fb (patch) | |
| tree | d221dcf559e4cd2693c44e078d665e5951d49162 /AUTHORS | |
| parent | 08b420dd52cc0668e00cd28131a080450335856f (diff) | |
update for API change as per #6363
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions