Re: [PATCH v7 01/10] gnu: cross: Use CROSS_*_INCLUDE_PATH for system headers.

[Manolis Ragkousis]

Hey Jan,

could you resend each of this patches on a different mail?

One patch per email makes it easier to review and comment on them.

Manolis