some options still missing?
Joakim Tjernlund <[email protected]> Mon, 20 May 2024 15:06:28 +0000
| Newsgroups | gmane.comp.gnu.libtool.general |
|---|---|
| Message-ID | <[email protected]> |
This fix seems to have been lost: https://lists.gnu.org/archive/html/libtool-patches/2019-05/msg00000.html