In case anyone was experimenting with pre-release. I've just uploaded a new zip file. If you've already installed it you'll need to purge it from your Arduino environment (i.e. delete the package json file and zips from staging and packages folders in your app data / arduino15 folder), then re-install.
↧