mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-05 02:19:11 +00:00
255ff96425
Arnaud LACOMBE rightly pointed out that this was done on the wrong branch.