I’d probably give re-synchronizing a try. I don’t know, it would maybe take an hour or so, maybe a little more, depending on your network speed and how many files you have (many small files tend to take a little longer then fewer big ones). If you decide to go for it, make sure your download speed isn’t limited in the client’s settings, otherwise it could take forever: Syncing 25k small files - need faster solution - #11 by Rob4Bob
Other options would be:
- Do nothing if everything else is working fine and just ignore the file.
- Wait to see if others experience the same issue and come up with a solution.
- Report it on GitHub so the developers can take a look.