[rc] a few changes and notmuch tags for new courses
authorAmin Bandali <amin@gnu.org>
Mon, 10 Sep 2018 17:21:40 +0000 (13:21 -0400)
committerAmin Bandali <amin@gnu.org>
Mon, 10 Sep 2018 17:21:40 +0000 (13:21 -0400)

No differences found