[02:15:04] *** Quits: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) (Connection closed) [02:19:30] *** Joins: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) [11:37:44] Failed: build (#25564; push) in navit-gps/navit (pull/1208) -- https://circleci.com/gh/navit-gps/navit/25564?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc [19:55:32] *** Joins: divad27182 (~david@freenode/user/divad27182) [19:58:23] *** Quits: divad27182 (~david@freenode/user/divad27182) (Quit: Leaving)