On 12 Jan 2024 23:36, Karl Berry wrote:
> The bug was silently closed ... hopefully Mike's patch was applied? Or
> something?  Not that it's a big deal, of course, just
> wondering. --thanks, karl.

i suckered someone into adding me to the libtool dev pool, so i pushed+closed.
or maybe i'm the sucker.
who knows anymore.
-mike