Hello all, since it is near the autumnal Ubuntu release, I decided to test build current GIT tree on Ubuntu 13.10 (Saucy). There were very few problems, now all fixed. Current GIT tree can be now built on Ubuntu 13.10 successfully at 100%. Tim, if possible, you can add Ubuntu 13.10 (Saucy) on the build-farm. -- Slavek