Update of sr #111157 (group libtool):
Status: None => Done
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Thank you for your bug report and proposed patch! I have applied the patch in
the development branch [1], and it should migrate to master after some time
for testing its behaviour.
If there are any changes you would like made to the commit header, I can
update it when it moves to master later.
[1]https://cgit.git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=f49da6ca2a77234719f34597ea583f29c0cf10d4
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/support/?111157>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
