1.3.1
Bugfixes
install_package: fix bug in Boards Manager installations when Arduino IDE 1.8.10 is installed (da85525).
Enhancements
check_sketch_structure,check_library_structure,check_library_properties,check_keywords_txt: process folders/files in alphabetical order for repeatable and user-friendly output (61a55fe).