[bug-gawk] strftime default format: %Z not void if not exandable

[Jannick]

Dear All,

the default format for strftime() refers to the time zone name or
abbreviation (%Z). Please see the relevant snip from main.c:

        /* default format for strftime(), available via PROCINFO */
        const char def_strftime_format[] = "%a %b %e %H:%M:%S %Z %Y";

The current version of the documentation claims that **no** characters are
emitted for %Z if no time zone is determinable. However my current gawk
version (Win10, cygwin's gawk 4.1.4) shows 'Sat Jul 29 10:19:45     2017'
which seems to imply that %Z is converted to some blanks. Since this looks a
bit odd, could this be amended by the following or alike to avoid changes to
all awk scripts and to be consistent with the documentation?

1 - removing the %Z related blanks (is this related to the mktime() issue
currently discussed in another thread?) or
2 - replacing %Z by %z by default

Thanks,
J.