On 03/07/2025 09:51, NR wrote:
> Yeah, that worked out fine and the build completed.

Thank you for testing! The patch has been applied to the development
branch.

https://cgit.git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=58f12166a05e8041de34a3c90cf01d9c283124fc

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354