Cradgets Atanasovski

Hello, I have submitted Strike Off for a company I have registered last October. I am not UK resident and have never traded with the company. Do I need to inform formally HMRC and how am I doing that? Is calling by the phone for Outside UK enough for that? Thanks