There’s no matching 1.0.1 tag for the 1.0.1 version, nor is there a release for it.
If this library had a library.json, that wouldn’t be an issue, as having the
repository parameters would be enough information for the PlatformIO registry crawler to see there was a new version, and where to get it from. I don’t think the
url= field in the Arduino IDE
library.properties is sufficient, as it is supposed point to the library homepage, which may not be the Git(Lab|Hub)/other repo.
If there’s a stuck library update, since the library registry is still a manual process, library owner should just make a new post asking for that library to be checked to see what’s stuck! Right @ivankravets?