diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-11-12 10:39:38 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-11-12 10:39:38 +0100 |
| commit | caf84957b92b32aa81b7d8687a7bed9fd9c42bc4 (patch) | |
| tree | 313a5f8806d8031390bfd9602b0e82934e62069e /ChangeLog | |
| parent | 5f616ec6884aa8ba132d4c997f9d6cf76a98c38b (diff) | |
-use sane bound
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions