#374: ensure compile verbose pref is included on upload#1237

davegarthsimpson merged 2 commits intomainarduino/arduino-ide:mainfrom

374-verbose-output-pref-not-applied-correctlyarduino/arduino-ide:374-verbose-output-pref-not-applied-correctlyCopy head branch name to clipboard