Subject: Re: bug#75880: relax five-digit maximum on revisions?
From: Ileana Dumitrescu <[email-masked]>
To: [email-masked]
Cc: [email-masked], Karl Berry <[email-masked]>
Date: Tue, 28 Jan 2025 16:57:05 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

The patch has been updated and pushed to the development branch [1].

Thank you for the bug report and help improving libtool!

[1] 
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=7b49ee14f9f350e60d890fc109143aa721bf76a9

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354