[01:15:03] *** Quits: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) (Connection closed) [01:19:54] *** Joins: j_f-f (~quassel@freenode-3p0.0bl.0e6ebh.IP) [12:47:33] *** Quits: jkoan (~jkoan@freenode-8li8nr.btgl.alru.aun2o4.IP) (Z-lined) [12:50:35] *** Joins: jkoan (~jkoan@freenode-u6m.t5i.5k44il.IP) [13:31:03] *** Quits: DrBean (~drb@freenode/user/drbean) (Ping timeout: 120 seconds) [13:31:17] *** Joins: DrBean (~drb@freenode-f09qsb.81l7.9s6c.4hb93e.IP) [13:32:17] *** DrBean is now known as Guest56624 [21:37:47] *** Guest56624 is now known as DrBean [21:37:52] *** Quits: DrBean (~drb@freenode-f09qsb.81l7.9s6c.4hb93e.IP) (Changing host) [21:37:52] *** Joins: DrBean (~drb@freenode/user/drbean) [23:21:41] Failed: build (#25472; push) in navit-gps/navit (pull/1208) -- https://circleci.com/gh/navit-gps/navit/25472?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc