Skip to content

Clean Up Unecessary Trusted Annotations - #22

Merged
vrindisbacher merged 1 commit into
masterfrom
vrindisbacher/trusted-annots
Apr 16, 2025
Merged

Clean Up Unecessary Trusted Annotations#22
vrindisbacher merged 1 commit into
masterfrom
vrindisbacher/trusted-annots

Conversation

@vrindisbacher

Copy link
Copy Markdown
Collaborator

Pull Request Overview

This pull request adds/changes/fixes...

Testing Strategy

This pull request was tested by...

TODO or Help Wanted

This pull request still needs...

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@vrindisbacher
vrindisbacher merged commit 3e2291a into master Apr 16, 2025
@vrindisbacher
vrindisbacher deleted the vrindisbacher/trusted-annots branch April 16, 2025 16:26
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