Reading /dev/stdin Input with a Timeout

[J Naman]

Date: Thu Dec 14 2023 00:34:43 UTC
Configuration Information [Automatically generated, do not change]:

Gawk Version: GNU Awk 5.3.0, API 4.0
Machine: AMD64(64-bit gawk)
OS: Windows_NT = Win 7 [Version 6.1.7601]
platform: mingw
LC_ALL: C
I have read: https://www.gnu.org/software/gawk/manual/html_node/Bugs.html
  Yes or No: Yes

Description:
PROCINFO["/dev/stdin", "READ_TIMEOUT"] = 1000
getline < "/dev/stdin"
# does not timeout in 1 second; waits (forever) until Return key is pressed
# ERRNO is not set if timeout is exceeded
# Ref: 4.11 Reading Input with a Timeout, p.96

Comment: This behavior MIGHT be due to the Mingw-console and not be a bug.
print "Hello World" >"/dev/con" works on gawk mingw platform.

Obviously this is not a debilitating bug, but I thought that I should
report it.