further tweak style and fix indentation
authorAmin Bandali <bandali@gnu.org>
Thu, 5 Dec 2019 21:57:05 +0000 (16:57 -0500)
committerAmin Bandali <bandali@gnu.org>
Thu, 5 Dec 2019 21:57:05 +0000 (16:57 -0500)

No differences found