The official Arduino development team has today announced the release of Arduino 1.8.13,bringing with it new improvements, bug fixes and tweaks.