[11:54:09] <NavitLogger> Failed: jkoan's build (#25829; push) in navit-gps/navit (trunk) -- https://circleci.com/gh/navit-gps/navit/25829?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc
[12:00:01] <NavitLogger> Failed: jkoan's build (#25830; push) in navit-gps/navit (trunk) -- https://circleci.com/gh/navit-gps/navit/25830?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc
[12:45:16] <NavitLogger> Failed: jkoan's build (#25839; push) in navit-gps/navit (trunk) -- https://circleci.com/gh/navit-gps/navit/25839?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc