tweak punctuation
authorAmin Bandali <bandali@gnu.org>
Wed, 2 Jan 2019 19:56:48 +0000 (14:56 -0500)
committerAmin Bandali <bandali@gnu.org>
Wed, 2 Jan 2019 19:56:48 +0000 (14:56 -0500)

No differences found