Preferences.java#11993

vikashmurugesh wants to merge 1 commit intoarduino:masterarduino/Arduino:masterfrom

vikashmurugesh:patch-1vikashmurugesh/Arduino:patch-1Copy head branch name to clipboard