Ludovic Courtès <ludo@gnu.org> skriver:

> Hi,
>
> Michael Ford <fanquake@gmail.com> 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’.

Whoops, sorry for the misunderstanding, and thanks for fixing me!  :-)