I have an old version of a library is dead enough to not have any files, but dead enough that I cannot delete it. This is on the web IDE.
I published a library under version 0.9.1, then fixed a bug and published 0.9.2. Right now it’s myself and friend testing things. He was still seeing 0.9.1 in his view, so I had him remove it from all his apps, and I deleted 0.9.1 so only 0.9.2 would remain. However, it still appears on his end and most of time on my end. When I try to import it from github, it complains that 0.9.2 already exists.
When we see version 0.9.1, under files it says “Loading…”, even after an hour. When I click the information icon, under versions it says “Loading…”, again even after waiting an hour. When I click Delete Library, nothing happens. When I click Refresh Libraries, nothing happens. I’ve tried clearing the cache in the IDE settings, clearing the browser cache, logging out and back in again, and switching browsers.
Any suggestions are appreciated. Thanks.