Messages in this thread | | | Date | Tue, 2 Oct 2012 17:58:43 +0100 | From | Catalin Marinas <> | Subject | Re: [GIT PULL] Disintegrate the User API from the kernel headers |
| |
On Tue, Oct 02, 2012 at 05:55:11PM +0100, David Howells wrote: > 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.
I'm fine with this.
-- Catalin
| |