1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-08-17 06:42:21 +03:00

Fix CI warnings.

This commit is contained in:
Dirk O. Kaar
2019-04-21 02:06:12 +02:00
parent efafcbded1
commit e04ac236c6
2 changed files with 3 additions and 3 deletions