Small cleanup
authorAmin Bandali <bandali@gnu.org>
Sat, 18 Apr 2020 17:23:31 +0000 (13:23 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 18 Apr 2020 17:23:31 +0000 (13:23 -0400)

No differences found