Merge origin/main into v1#511

Closed

github-actions[bot] wants to merge 5 commits intov1from

update-v1-1.0.0-bc39b210

Commits on May 8, 2021

Use `--build`
RA80533
committed

Commits on May 19, 2021

Remove final newline
RA80533
committed
Merge branch 'main' into chore/--build
aeisenberg
authored
Merge pull request #487 from RA80533/chore/--build
aeisenberg
authored
1.0.0
CodeQL Actions Bot
committed