Skip to content

Conversation

@cmaureir
Copy link
Collaborator

Even though it was the starting point,
and an esential part of this translation effort,
it's not used anymore.

Even though it was the starting point,
and an esential part of this translation effort,
it's not used anymore.
@mmmarcos mmmarcos merged commit 0948190 into 3.12 Oct 14, 2023
@rtobar rtobar deleted the remove_pyar_dep branch November 3, 2024 12: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.

3 participants