Mergeback v1.0.20 refs/heads/v1 into main#793

Merged

edoardopirovano merged 6 commits intomainfrom

mergeback/v1.0.20-to-main-e86ea38e

Oct 25, 2021

Commits on Oct 25, 2021

1.0.20
github-actions[bot]
committed
Merge pull request #791 from github/update-v1.0.20-c89d9bd8
edoardopirovano
authored
Update changelog and version after v1.0.20
github-actions[bot]
committed
1.0.21
github-actions[bot]
committed
Merge branch 'main' into mergeback/v1.0.20-to-main-e86ea38e
edoardopirovano
authored
Update checked-in dependencies
github-actions[bot]
committed