Is there any official release date for the Arduino Zero?

bobcousins:
Now July 9th...

Where are you getting this info? The only mention of it I see is on the blog where I assume whoever wrote the post made a mistake, because the video says June 9th and I see no mention of the release date being pushed back.