v1.3.1 published: updated libraries.properties file
Version 1.3.0 was tagged and published without corresponding adjustments to libraries.properties file for Arduino Library Manager. Now everything should be in sync as v1.3.1
8000
Version 1.3.0 was tagged and published without corresponding adjustments to libraries.properties file for Arduino Library Manager. Now everything should be in sync as v1.3.1