remove the GNU inside banner, at least for now
authorAmin Bandali <bandali@gnu.org>
Sun, 5 May 2019 05:06:05 +0000 (01:06 -0400)
committerAmin Bandali <bandali@gnu.org>
Sun, 5 May 2019 05:06:05 +0000 (01:06 -0400)

No differences found