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

Fix version... #1424

Merged

dellaert merged 3 commits into release/4.2 from fix/version

Jan 28, 2023

Member

dellaert commented Jan 28, 2023

...as well as some warnings, docs

dellaert added 3 commits

January 28, 2023 12:57


          Avoid warning

a132a36


          Fix version

faae928


          Fix docs

be9b00e

Member Author

dellaert commented Jan 28, 2023

@varunagrawal Merging before CI, #1425 will need to resolve conflicts anyway and we can fix issues there. I need to test a wrapper for 3630.

dellaert merged commit 006a7c7 into release/4.2

dellaert deleted the fix/version branch

January 28, 2023 21:35

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

Labels

None yet