Skip to content

Conversation

@huguesdevimeux
Copy link
Member

No description provided.

@PgBiel
Copy link
Member

PgBiel commented May 25, 2020

Was this tested?

@PgBiel PgBiel added the new feature Enhancement specifically adding a new feature (feature request should be used for issues instead) label May 25, 2020
@huguesdevimeux
Copy link
Member Author

@PgBiel Yes !

@leotrs leotrs merged commit a6b090f into ManimCommunity:master May 26, 2020
@huguesdevimeux huguesdevimeux mentioned this pull request Aug 24, 2020
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new feature Enhancement specifically adding a new feature (feature request should be used for issues instead)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants