[17:24:39] *** Joins: web-41 (~web-41@freenode-hn7.fck.ok63k9.IP)
[17:32:24] *** Quits: web-41 (~web-41@freenode-hn7.fck.ok63k9.IP) (Quit: Page closed)
[21:53:17] <NavitLogger> Failed: build (#25841; push) in navit-gps/navit (pull/1242) -- https://circleci.com/gh/navit-gps/navit/25841?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc