Skip to content

Conversation

alessfg
Copy link
Member

@alessfg alessfg commented Apr 2, 2025

Proposed changes

See title.

Checklist

Before creating a pull request (PR), run through this checklist and mark each as complete:

@alessfg alessfg requested a review from a team April 2, 2025 10:45
@alessfg alessfg self-assigned this Apr 2, 2025
@alessfg alessfg added the chore Pull requests for routine tasks label Apr 2, 2025
@TasoOneAsia TasoOneAsia merged commit b613ea4 into main Apr 2, 2025
16 checks passed
@TasoOneAsia TasoOneAsia deleted the update-codeowners branch April 2, 2025 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants