bug in gawk 3.1.3

[henk.reints]

Hello, Masters of the GNUniverse!

I think I found a bug in the Windows32 version of gawk 3.1.3 which I have 
downloaded from http://www.weihenstephan.de/~syring/win32

It does not correctly handle the %z (lowercase) format specifier in the 
strftime date format which should return the time zone VALUE.
Instead it returns the time zone NAME just like %Z (uppercase).
the gnu\date.exe returns the correct result.
See below.

Regards,
Henk Reints
http://www.henk-reints.nl


C:\>C:\GNU\date --version 
date (GNU sh-utils) 1.13

C:\>C:\GNU\gawk --version   | C:\GNU\head -1 
GNU Awk 3.1.3

C:\>C:\GNU\date "+%z : %Z" 
+0100 : W. Europe Standard Time

C:\>echo x   | C:\GNU\gawk "{print strftime(\"%z : %Z\")}" 
W. Europe Standard Time : W. Europe Standard Time

#