I did a search Anyone can do that and what I found confirms the deal was finalized. It is done and I suspect a PR to come out soon.