Hello, I have recently submitted a PR on GitHub, yet it hasn't received any response. https://github.com/crosstool-ng/crosstool-ng/pull/1019 Also I see that there hasn't been any new commits in repository since June, which has been quite long ago. Is the project still alive? Best regards, Mateusz