[00:28:29] *** Quits: divad27182 (~david@freenode/user/divad27182) (Quit: Leaving)
[02:15:03] *** Quits: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) (Connection closed)
[02:21:27] *** Joins: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP)
[11:59:48] <NavitLogger> Failed: build (#25538; push) in navit-gps/navit (pull/1209) -- https://circleci.com/gh/navit-gps/navit/25538?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc