small tweaks and cleanups
authorAmin Bandali <bandali@gnu.org>
Sun, 10 Oct 2021 04:25:22 +0000 (00:25 -0400)
committerAmin Bandali <bandali@gnu.org>
Sun, 10 Oct 2021 04:25:22 +0000 (00:25 -0400)

No differences found