Is this a bug by any chance?

[George R Goffe]

Hi,

I just built the latest bash in an effort to determine if thie script shows a 
bug or a ufu. Can you help me please?

I was expecting to see:
12345

Best regards AND thanks for your help,

George...

#!./bash -xv
 x="1 2 3 4 5"
+ x='1 2 3 4 5'
 for z in "$x"
    do
       echo "$z"
    done
+ for z in "$x"
+ echo '1 2 3 4 5'
 1 2 3 4 5
 exit 0
+ exit 0