The Arduino IDE version needs to be updated to v1.8.12 now. I was unable to create a pull request to do this.
The Arduino IDE version needs to be updated to v1.8.12 now.
I was unable to create a pull request to do this.