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)
commit898c1d5cf59a5b3e1cdf6002db766c10f9d1a00e
tree763712de07df174964b0eaee663de761de5cca57
parent7d7475a1a10b1371d2bc7b2276914e9d3fdfee6a
parenta07ec62a3f7932f70b34c5fe7fe5ec0fa92b283a
Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into interface-improvements