Follow-up Comment #6, sr#110674 (group libtool): I have also verified, of course, that with the two patches the output of './configure --help' is as desired.
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/support/?110674> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/