The board restarted as usual, the difference was that the Serial port could not receive anything. A reset should be a reset, otherwise it is a bug.
The board restarted as usual, the difference was that the Serial port could not receive anything. A reset should be a reset, otherwise it is a bug.