-corrections from Dora

This commit is contained in:
Christian Grothoff 2022-02-01 10:04:59 +01:00
parent 5ea4e5b122
commit fc397f2634
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

File diff suppressed because it is too large Load Diff