allow ".bin.gz" filter in update server file selector#7026

Merged

d-a-v merged 3 commits intoesp8266:masterfrom d-a-v:updatergz

Jan 25, 2020

Commits on Jan 20, 2020

Commits on Jan 25, 2020

Merge branch 'master' into updatergz
d-a-v
authored