New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Two small fixes #996

Merged

dellaert merged 2 commits into develop from fix/example_issues

Dec 30, 2021

Member

dellaert commented Dec 30, 2021

Two examples did not compile. Don't know why CI did not catch this before.

dellaert added 2 commits

December 30, 2021 10:30


          Fix ambiguity

00f8d90


          Add auto

92744d1

dellaert requested a review from varunagrawal

December 30, 2021 15:31

varunagrawal approved these changes

View reviewed changes

Collaborator

varunagrawal left a comment

LGTM, though I should look into why the CI didn't catch them.

dellaert merged commit 2f7ebb4 into develop

dellaert deleted the fix/example_issues branch

December 30, 2021 17:09

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet