Patches

We switched to trac. Please use http://trac.navit-project.org or https://github.com/navit-gps/navit/pulls for new patches reporting. Accounts can be created on simple request, it's open to everyone. Thank you.