Skip to content
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.

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

Updating objectives with comments for the record and playback objective #71

Merged
merged 1 commit into from
Jan 2, 2025

Conversation

MikeWrock
Copy link
Collaborator

@MikeWrock MikeWrock commented Jan 1, 2025

Resolves #9418

@MikeWrock MikeWrock requested a review from davetcoleman January 1, 2025 20:07
Copy link
Member

@davetcoleman davetcoleman left a comment

Choose a reason for hiding this comment

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

Nice work with the comments!

@davetcoleman davetcoleman merged commit 9b7a5f9 into main Jan 2, 2025
4 checks passed
dyackzan pushed a commit that referenced this pull request Jan 21, 2025
Updating objectives with comments for the record and playback objective
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants