gawk doesn't treat '018' as decimal 18

[Arkadiusz Drabczyk]

In gawk.info it says:

"Unlike in some early C implementations, '8' and '9' are not valid in
octal constants.  For example, 'gawk' treats '018' as decimal 18:

     $ gawk 'BEGIN { print "021 is", 021 ; print 018 }'
     -| 021 is 17
     -| 18
"

but I cannot reproduce it wit gawk built from today's master:

$ ./gawk 'BEGIN { print "021 is", 021 ; print 018 }'
021 is 17
0

However, I can reproduce it after going back to commit
85c0d5edb781c9f31b79e48452b1ca68643f41de so something must have
changed.

Is this a bug in gawk or in the docs?

-- 
Arkadiusz Drabczyk <arkadiusz@drabczyk.org>