[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2)
|
From: |
arnold |
|
Subject: |
Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2) |
|
Date: |
Wed, 12 Dec 2018 12:45:05 -0700 |
|
User-agent: |
Heirloom mailx 12.5 7/5/10 |
"Andrew J. Schorr" <address@hidden> wrote:
> On Wed, Dec 12, 2018 at 07:44:05AM -0700, address@hidden wrote:
> > Except that I wold continue to use "UTC+0" which I suspect is
> > more portable.
>
> Ack.
>
> > If you make that change you can push it to gawk-4.2-stable. I'll
> > handle merging to the other branches.
>
> I pushed it.
>
> Regards,
> Andy
Much thanks. I've merged everywhere else and pushed.
Arnold
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), (continued)
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), arnold, 2018/12/11
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/11
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/11
- Message not available
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/11
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), arnold, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), arnold, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), arnold, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Andrew J. Schorr, 2018/12/12
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2),
arnold <=