[rc] small misc changes
authorAmin Bandali <amin@gnu.org>
Tue, 25 Sep 2018 00:58:31 +0000 (20:58 -0400)
committerAmin Bandali <amin@gnu.org>
Tue, 25 Sep 2018 00:58:31 +0000 (20:58 -0400)

No differences found