diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-09-05 11:51:41 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-09-05 11:51:50 +0200 |
| commit | d96a9b99d47383308cf8ea8cac5cb9e7705bc7cf (patch) | |
| tree | 91d5781e238e5a659605dd6276c25279ce1e5250 /ChangeLog | |
| parent | 1b14d0a4591094acf1f5515d98ce98d493bf77a8 (diff) | |
implement #9124 and #9039
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions