On 31/01/2024 17:15, Joakim Tjernlund wrote:
Has some variant of
https://lists.gnu.org/archive/html/libtool-patches/2022-04/msg00010.html
been discussed/considered ?
Joakim
The patchset seems good, and that particular patch was most likely
forgotten about. I'll look through the thread and the older
mailing list discussions and see what the concerns were. I'm currently
waiting to do an alpha, so I wouldn't merge it in and/or fix it until
after that.
On an unrelated note, while looking at the patches I discovered the
interesting mix of spaces and tabs throughout ltmain.in. Somehow,
I'd previously missed that.
--
Ileana Dumitrescu
GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354