bug-gawk
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] gawkapi.c: assign_number

From: arnold
Subject: Re: [bug-gawk] gawkapi.c: assign_number
Date: Wed, 16 Aug 2017 06:21:34 -0600
User-agent: Heirloom mailx 12.4 7/29/08 
"Andrew J. Schorr" <address@hidden> wrote:

> Hi,
>
> On Tue, Aug 15, 2017 at 10:28:50PM -0600, address@hidden wrote:
> > > Arnold -- is this OK to commit?
> > 
> > Yes, please. ASAP, please.
>
> I just pushed the fix.
>
> Regards,
> Andy

Much thanks!

Arnold
reply via email to
[Prev in Thread] Current Thread [Next in Thread]