Hi Dave,

On Wed, 15 Feb 2017 22:27:46 -0500 (EST) David Miller <[email protected]> 
wrote:
>
> I applied the fix that synced the two header files already.

Sorry about that, I missed it in checking your tree over breakfast :-)

-- 
Cheers,
Stephen Rothwell

Reply via email to