Subject: Re: bug#57356: libtool-2.4.7 removed as a "duplicate"?
From: Ludovic Courtès <[email-masked]>
To: Michael Ford <[email-masked]>
Cc: Marius Bakke <[email-masked]>, [email-masked]
Date: Thu, 01 Sep 2022 15:02:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Michael Ford <[email-masked]> skribis:

> In commit 5b6b731c7d8ecbae0ead1600b4cd2f70c66d51ca, the libtool-2.4.7
> package was removed as a "duplicate". The commit message doesn't explain at
> all why libtool 2.4.7 was being removed, or what it was a duplicate of? As
> of latest master, libtool is still version 2.4.6.

Indeed, I think this commit was intended for ‘core-updates’, where
‘libtool’ *is* 2.4.7, and not for ‘master’.

I’m reverting it on ‘master’.  Marius, we’ll have to make sure not to
reintroduce it on the next merge into ‘core-updates’.

Thanks,
Ludo’.