[01:15:03] *** Quits: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) (Connection closed) [01:21:11] *** Joins: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) [03:49:33] *** Quits: DrBean (~drb@freenode/user/drbean) (Ping timeout: 120 seconds) [07:15:07] Failed: build (#25485; push) in navit-gps/navit (pull/1208) -- https://circleci.com/gh/navit-gps/navit/25485?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc