dist/tools/ci: print toolchain version update for esp8266#13027
Merged
fjmolinas merged 1 commit intoRIOT-OS:masterfrom Jan 6, 2020
Merged
dist/tools/ci: print toolchain version update for esp8266#13027fjmolinas merged 1 commit intoRIOT-OS:masterfrom
fjmolinas merged 1 commit intoRIOT-OS:masterfrom
