Skip to content

Conversation

jorgepiloto
Copy link
Member

This pull-request includes the new AUTHORS and CONTRIBUTORS.md files as requested by the legal team.

@jorgepiloto jorgepiloto requested a review from a team as a code owner July 24, 2023 11:53
@github-actions github-actions bot added the maintenance Generic maintenance related label Jul 24, 2023
@RobPasMue RobPasMue enabled auto-merge (squash) July 24, 2023 14:46
@RobPasMue RobPasMue merged commit ae7fdc0 into main Jul 24, 2023
@RobPasMue RobPasMue deleted the maint/authors branch July 24, 2023 14:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Generic maintenance related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants