Skip to content

Conversation

vdusek
Copy link
Collaborator

@vdusek vdusek commented Feb 12, 2025

Relates: #906

@vdusek vdusek self-assigned this Feb 12, 2025
@github-actions github-actions bot added this to the 108th sprint - Tooling team milestone Feb 12, 2025
@vdusek vdusek added the t-tooling Issues with this label are in the ownership of the tooling team. label Feb 12, 2025
@vdusek vdusek merged commit 8ccb5d4 into master Feb 12, 2025
23 checks passed
@vdusek vdusek deleted the rename-abcs branch February 12, 2025 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
t-tooling Issues with this label are in the ownership of the tooling team.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants