Update of patch#8843 (group libtool): Status: None => Done Open/Closed: Open => Closed
_______________________________________________________ Follow-up Comment #3: merged now, thanks _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/patch/?8843> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/