This is what we have now to make our driver (only) work on 5.5, and because I got tired of waiting for the devel/git-tracker.py I threw in a speed improvement for the gentree --git option, using git's cat-file --batch API. We should use that for much more, and perhaps implicitly in the git library, but getting the files was one of the slower things, now it's barely noticable. johannes -- To unsubscribe from this list: send the line "unsubscribe backports" in
