I'll yield to others...But I'm pretty certain material information has to be released to all equally, and outside of market hours, unless they halt first, The halt may have been around 10:12 MDT. At least this I believe is the case in the U.S., where they trade NYSE. The news came out at 9:31. I saw it later.