Update of patch#8675 (group libtool):
Status: None => Done
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
we merged a fix which i think covers this & more:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=d7c8d3b43fef8641f4354edaa0429d157259bf56
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?8675>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
