From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752416Ab2GZKqj (ORCPT ); Thu, 26 Jul 2012 06:46:39 -0400 Received: from mx1.redhat.com ([209.132.183.28]:27767 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752176Ab2GZKqi (ORCPT ); Thu, 26 Jul 2012 06:46:38 -0400 Organization: Red Hat UK Ltd. Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SI4 1TE, United Kingdom. Registered in England and Wales under Company Registration No. 3798903 From: David Howells In-Reply-To: References: <20120720215636.14854.41208.stgit@warthog.procyon.org.uk> <28702.1343135952@warthog.procyon.org.uk> <6193.1343211798@warthog.procyon.org.uk> <5901.1343244093@warthog.procyon.org.uk> To: Michael Kerrisk Cc: dhowells@redhat.com, linux-arch@vger.kernel.org, linux-kernel@vger.kernel.org, arnd@arndb.de, tglx@linutronix.de, mingo@kernel.org, davej@redhat.com Subject: Re: [PATCH 00/13] UAPI header file split Date: Thu, 26 Jul 2012 11:46:23 +0100 Message-ID: <19755.1343299583@warthog.procyon.org.uk> Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Oh, and thanks for the write up! David