Dropped `compile.optimizeForDebug` preference.#1213

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

#1212arduino/arduino-ide:#1212Copy head branch name to clipboard