The same problem happened once recently and was confirmed to be fixed on July 8.
Yes, I too can confirm that my (MicroPython Tools) plugin’s statistics have last been updated on July 9th.
This seems to have been resolved.
The same problem happened once recently and was confirmed to be fixed on July 8.
Yes, I too can confirm that my (MicroPython Tools) plugin’s statistics have last been updated on July 9th.
This seems to have been resolved.