Great! Thanks!
On Sun, 2023-10-22 at 15:02 +0000, Shterenlikht, Anton wrote:
> I confirm that the patch still works against
> today's git version:
>
> $ libtool --version
> libtool (GNU libtool) 2.4.7.4-1ec8f
>
> I just added "flang*" in addition to "armflang*":
>
> https://savannah.gnu.org/support/index.php?110947
>
> I'm also asking in libt...@gnu.org why 2.4.6 is still
> the latest stable relase, if the dev branch is
> already at 2.4.7.4.
>
> Anton
>
>
>
> > On 22 Oct 2023, at 14:22, Werner LEMBERG <w...@gnu.org> wrote:
> >
> >
> > > here is a patch for libtool that Francois Coppens and I submitted
> > > to
> > > libtool in February. I think we did something went wrong in the
> > > PR
> > > process because it has still not been included... [...]
> >
> > While libtool has a new maintainer (Alex Ameen), essentially
> > nothing
> > happens, which is quite unfortunate...
> >
> >
> > Werner