[PATCH 00/15] updates & improvements

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