Subject: Re: bug#71489: Two libtool issues
From: Ileana Dumitrescu <[email-masked]>
To: [email-masked]
Cc: Sergey Poznyakoff <[email-masked]>, Sam James <[email-masked]>
Date: Tue, 27 Aug 2024 18:48:03 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

I have not seen any issues with the new testcase for testing the two
libtool issues or the changes made to fix these issues. I have merged
the changes into master:
  
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=0e1b33332429cd578367bd0ad420c065d5caf0ac

For now, I am going to close this bug. Thank you again, Sergey, for
fixing and documenting these issues!

-- 
Ileana Dumitrescu

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