[01:15:04] *** Quits: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) (Connection closed)
[01:19:47] *** Joins: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP)
[09:12:35] <NavitLogger> Failed: build (#24535; push) in navit-gps/navit (pull/987) -- https://circleci.com/gh/navit-gps/navit/24535?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc
[09:23:34] <NavitLogger> Failed: build (#24545; push) in navit-gps/navit (pull/987) -- https://circleci.com/gh/navit-gps/navit/24545?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc