From: Mart Lubbers Date: Mon, 18 Dec 2017 09:29:32 +0000 (+0100) Subject: Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into... X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=commitdiff_plain;h=9d3f47b4dfbfcda74e3615361e858d156e3ef395;hp=--cc Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into interface-improvements --- 9d3f47b4dfbfcda74e3615361e858d156e3ef395