Update of patch #10481 (group libtool):
Status: None => Done
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Thank you for the patch! This will help close a related bug report:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73737
I have applied your patch to the development branch among some other commits:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=4cc12b83ffa947d9c1948a066c7e70c0336f6acd
This update should make it to master in the next couple of weeks.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10481>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
