[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: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2) |
Date: |
Wed, 12 Dec 2018 14:14:13 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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
- [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), Thorsten Kampe, 2018/12/11
- 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 <=
- Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2), arnold, 2018/12/12