Merge release/v4.2.2 into master#125

Merged

xluciano merged 31 commits intomasterfrom

Oct 8, 2020

Commits on Mar 31, 2020

Merge pull request #112 from xmos/master
mbanth
authored

Commits on Jul 31, 2020

Commits on Aug 3, 2020

Commits on Sep 15, 2020

Commits on Oct 2, 2020

Commits on Oct 5, 2020

Bump version for infrastructure changes
xluciano
committed

Commits on Oct 6, 2020

Merge pull request #122 from lucianomartin/feature/bump_version
mbanth
authored

Commits on Oct 7, 2020