No need to re-register the library, the PIO internal crawler service will eventually update your library if you update its library.json. But that doesn’t happen at light speed
Ooooh ok now I get it. It’s been updated, but it’s completely out of luck To be precise: I was trying to register the library to the Arudino library manager (see here), which implies tagging…
I think PIO’s doc about library registering lacks this information
We will rewrite whole docs for library registry soon. We will keep updating libraries only for legacy manifest. We work on a new Universal Package Registry. You will be able to submit your package (library, dev-platform, toolchain, etc) and further updates. Please follow us at https://twitter.com/PlatformIO_Org for the further news.