|
| From: | Eli Zaretskii |
| Subject: | Re: [bug-gawk] gawk 4.2.0 released! |
| Date: | Sat, 21 Oct 2017 13:57:04 +0300 |
> From: address@hidden > Date: Fri, 20 Oct 2017 07:56:55 -0600 > Cc: address@hidden, address@hidden > > Please push them to gawk-4.2-stable. Extra credit if you then > merge to master. Pushed to the gawk-4.2-stable branch.
| [Prev in Thread] | Current Thread | [Next in Thread] |