i dont know the exact rule, but i would assume they dont have to update the market in real time. 7th was a friday 11th a tuesday seems reasonable they sell on Friday, inform the ASX on monday, ASX inform the market on Tuesday...