Martin, All, Your patch: arch/avr32: Fix download of header files has been applied as: #74fd467be5aa http://crosstool-ng.org/hg/crosstool-ng/rev/74fd467be5aa Thank you! Regards, Yann E. MORIN. -- For unsubscribe information see http://sourceware.org/lists.html#faq