Messages in this thread | | | From | David Howells <> | Subject | Re: [GIT PULL] Disintegrate the User API from the kernel headers | Date | Tue, 02 Oct 2012 17:55:11 +0100 |
| |
Catalin Marinas <catalin.marinas@arm.com> wrote:
> There is arm64 that got merged, so its headers need splitting as well. > I'm happy to send a pull request myself just for arm64 if you give me > the script, otherwise you can run you script again close to -rc1 (and > I'll test it).
I can just re-run my scripts and post a new set of patches.
David
| |