Bug#1067078: ...and GNU awk 5.2.2 introduces strptime

[Nicolas Hillegeer]

strptime is something I often miss when scripting with AWK. The current
debian (testing) version is 5.2.1. It's so tantalizingly close.

Thanks for your maintenance!