search

platformio / platformio-libmirror

PlatformIO libraries mirror
Apache License 2.0
16 stars 25 forks source link

update ros_lib library #136

Closed bochen87 closed 6 years ago

bochen87 commented 6 years ago

Hi, I requested to add a library and it was added, thanks a lot!

I've realized that one file was wrong and corrected that in the git repository - can you please update that also in the library that one get's from platformio library manager? It's currently still with the wrong file.

https://platformio.org/lib/show/5526/ros_lib%20Arduino

ivankravets commented 6 years ago

New version in manifest will trigger crawler

bochen87 commented 6 years ago

@ivankravets i updated the manifest this morning, but nothing seemed to happen - or is the crawler rather a nightly batch process?