GSOC 2020: [Preferences] Button problem in Preferences #9185 requires translation#9947

yzykov wants to merge 2 commits intoarduino:masterarduino/Arduino:masterfrom

yzykov:Arduino_9185_With_Translationyzykov/Arduino:Arduino_9185_With_TranslationCopy head branch name to clipboard