1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Iván Pérez c43266964b UpdateCheck microoptimization
No need to create a `Random` object and get a random ID from it if then it's overwritten with the stored value.
2019-09-16 11:42:43 +02:00
..
2019-09-16 11:42:43 +02:00
2019-07-18 14:25:24 +02:00
2019-07-18 14:24:59 +02:00
2019-07-05 11:47:36 +02:00