Skip to content

Conversation

@dellaert
Copy link
Member

Quick fix after #971

@dellaert dellaert added quick-review Quick and easy PR to review cleanup Help clean up old/obsolete aspects of GTSAM labels Dec 21, 2021
Copy link
Contributor

@varunagrawal varunagrawal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@dellaert dellaert merged commit ee88f63 into develop Dec 21, 2021
@dellaert dellaert deleted the fix/examples branch December 21, 2021 17:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cleanup Help clean up old/obsolete aspects of GTSAM quick-review Quick and easy PR to review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants