Per Tillisch

`master` and `473d8b0` are both Git refs, so there's no need to give them different treatment. >$ arduino-cli lib install WiFiNINA@commit:473d8b0 I think it would be unnecessarily limiting to use...

This has been fixed by https://github.com/me-no-dev/ESPAsyncWebServer/commit/17a8d442169f3ca8496b20ebd24bbc06f55d4a62 @Sectorchan please install the latest version of the library from this GitHub repository (make sure you don't install one of the forks which haven't...

I rebased the PR to resolve the merge conflict.

I think that we should start by considering the root cause of these failures. The purpose of the configuration key is described as: https://arduino.github.io/arduino-cli/dev/configuration/#:~:text=the%20proxy%20server.-,connection_timeout,-%2D%20network%20connection%20timeout > network connection timeout If the...

Thanks for reporting this @Sinclair-ZX81. I confirm that there was a regression in the localization of the **File > Save** menu item. I bisected the regression to 192aac5a810d8ff1da788e15156009095999b656, where the...

Hi @Integral-Tech. We are still waiting for you to provide the information requested in the previous reply (https://github.com/arduino/arduino-ide/issues/2107#issuecomment-1600466676) so that we can proceed with the investigation or evaluation of this....

@dependabot rebase

There is a duplicate report at https://github.com/me-no-dev/ESPAsyncWebServer/issues/1455 In that report, a workaround is described: > After reinstalling version 3.0.7, the problem was solved. (3.0.7 is referring to the version of...

Hi @iddq. When you say "navigation bar", do you mean the scrollbar circled here":  I have also noticed this is far too thin to comfortably use. I much prefer...

There is an undocumented feature that allows you to hide boards by adding a `hide` property to boards.txt. For example, in Arduino AVR Boards the Arduino/Genuino Uno board can be...