various minor improvements (#638)

This commit is contained in:
Simón Fishman 2023-08-16 10:53:54 -07:00 committed by GitHub
parent 346617e8fd
commit 1d73635488
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because one or more lines are too long