Hi Dave, in case it affects a decision to release 1.17
Indeed. Thank you very much for the report (and the followup). The first question that comes to mind: are you using the same version of libtool in the various cases? --thanks again, karl.
Hi Dave, in case it affects a decision to release 1.17
Indeed. Thank you very much for the report (and the followup). The first question that comes to mind: are you using the same version of libtool in the various cases? --thanks again, karl.