Deploy fix on downloadtool#361

Merged

matteosuppo merged 3 commits intomasterfrom

Apr 23, 2019

Commits on Apr 19, 2019

replace PathEscaping with encoding in base64 for downloaded index filenames in order to be compatible on windows FS
Roberto Sora
committed
add tool entry with version in installed.json
Roberto Sora
committed

Commits on Apr 23, 2019

Merge pull request #357 from arduino/fix-windows-v2-download-tool
matteosuppo
authored