Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into...
authorMart Lubbers <mart@martlubbers.net>
Wed, 13 Sep 2017 05:44:12 +0000 (07:44 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 13 Sep 2017 05:44:12 +0000 (07:44 +0200)

Trivial merge