Merge main into v1#946

Merged

aeisenberg merged 12 commits intov1from

update-v1.1.3-d7ad71d8

Feb 23, 2022

Commits on Feb 17, 2022

Update changelog and version after v1.1.2
github-actions[bot]
committed
1.1.3
github-actions[bot]
committed
Update checked-in dependencies
github-actions[bot]
committed
Merge pull request #941 from github/mergeback/v1.1.2-to-main-d39d5d5c
henrymercer
authored
Add `UserError`
aeisenberg
committed