mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-22 13:19:48 +01:00
For internationalization, the word "Boards" must be wrapped directly in _(...) call. The call was done in makeOrGetBoardMenu(). However, the second call to makeOrGetBoardMenu() has the argument already wrapped by _(...).