Per Tillisch

Resolved by https://github.com/arduino/arduino-ide/pull/1446

@ubidefeo yes: **Leading zeros are still stripped from hours:**  **Leading zeros are still stripped from minutes:**  ```text 21:9:29.101 -> hello 21:9:30.088 -> hello 21:9:31.104 -> hello ```

>Can I go ahead and submit a PR Hi @nmzaheer. Please do. I'll be happy to review it.

Hi @francwalter. Thanks for your report. About this: > Maybe not reproducable, it was a bit buggy before. Does this issue occur every time you start the Arduino IDE 2.0.0-rc9,...

Thanks for your report @Lorandil. I investigated and discovered the cause of the bug is that the format of the nightly build versions causes them to be considered higher than...

@InstantMuffin that bug is being tracked here: https://github.com/arduino/arduino-ide/issues/1244 A fix was made for it in https://github.com/arduino/arduino-ide/pull/1255, before which I believe it was easier to reproduce. I produced it by chance...

Hi @UKHeliBob. The issue is not closed. The "Closed" indicator you are seeing is for a duplicate here: https://github.com/arduino/arduino-ide/issues/733. This is just the way GitHub works. When you link to...

Hi @BanksySan. Thanks for your valuable feedback. >An ability to hide or close the Output tab. The control is at the bottom right corner of the window ("Toggle Bottom Panel"):...

I haven't been able to reproduce it. I use this "About" dialog to get the version every time I submit an issue so I inadvertently give it pretty good manual...

> On my dev macOS, running arduino-cli version --format json took 400 ms. The same on my old Windows machine took 200 ms. I am seeing results similar to that,...