small tweaks
authorAmin Bandali <mab@gnu.org>
Mon, 1 Jul 2019 02:48:51 +0000 (22:48 -0400)
committerAmin Bandali <mab@gnu.org>
Mon, 1 Jul 2019 02:48:51 +0000 (22:48 -0400)

No differences found