Skip to content

Update annotations#2687

Merged
sethherr merged 1 commit into
mainfrom
annotate-update
Feb 6, 2025
Merged

Update annotations#2687
sethherr merged 1 commit into
mainfrom
annotate-update

Conversation

@sethherr
Copy link
Copy Markdown
Member

@sethherr sethherr commented Feb 6, 2025

Run the annotations, after updating to annotation_rb. Follows #2685

@sethherr sethherr merged commit b60f5b2 into main Feb 6, 2025
@sethherr sethherr deleted the annotate-update branch February 6, 2025 16:28
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.

1 participant