When and how did you report it? They can be a bit slow to update reported viruses sometimes. The focus is “In the wild” virus, I’ve read, others take a lower priority.
