[22:44:59] <NavitLogger> Failed: build (#25849; push) in navit-gps/navit (pull/1250) -- https://circleci.com/gh/navit-gps/navit/25849?utm_campaign=chatroom-integration&amp;utm_medium=referral&amp;utm_source=irc