2011/7/26 Tomáš Chvátal <scarabeus at gentoo.org>: Pushed, thanks. Norbert Note: for future patchwa could you use git format-patch to generate the patch (it make applying the patch easier since the author and the description is embedded in it that way.