Michael, All, Your patch: complibs/isl: add HTTP mirror has been applied as: #86a8d1d467c8 http://crosstool-ng.org/hg/crosstool-ng/rev/86a8d1d467c8 Thank you! Regards, Yann E. MORIN. -- For unsubscribe information see http://sourceware.org/lists.html#faq