Has some variant of 
https://lists.gnu.org/archive/html/libtool-patches/2022-04/msg00010.html
been discussed/considered ?
 Joakim

Reply via email to