I am sure they haven't.
I am more focused on the fact that PT Bumi have stopped selling. Have they found a buyer? Have they agreed to sell into a forthcoming bid?
Has to be a good sign given they are a forced seller. If they aren't selling on market, they must have found another way to offload.