Hi, Michael Ford <[email protected]> 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’.
