No problem, thanks!

On Wed, Jun 29, 2022 at 5:35 PM Paul Eggert <[email protected]> wrote:
>
> On 6/29/22 16:22, Jeff Shimoda [Marbles504] wrote:
> > Just following up with this.  Any thoughts?  If you'd like I can open
> > up a bug in Savanna for this.
>
> Should be no need, as I committed something along those lines here:
>
> https://git.savannah.gnu.org/cgit/autoconf.git/commit/?id=76beb33bfe435a4434fd63920affe38620166d85
>
> Sorry, I forgot to send you email about that.
>

Reply via email to