Hi guys, just a question

Wasn't Chipmixer working to integrate the service into the Electrum wallet? I was sure to read it on this topic but I can't find the post that talked about it anymore. Make me wonder if I was just dreaming...