Updated the toolchain (addressed tickets #129, #133, #158, #159, #164…#1

Merged

nuald merged 1 commit intomasterfrom

Oct 10, 2019

Commits on Oct 10, 2019

Updated the toolchain (addressed tickets #129, #133, #158, #159, #164, #170, #179).
nuald
committed