Skip to content

Conversation

naveen521kk
Copy link
Member

Changes here for ManimCommunity/manim#967 to work.

@naveen521kk naveen521kk changed the title For https://github.com/ManimCommunity/manim/pull/967 For ManimCommunity/manim#967 Jan 26, 2021
@naveen521kk naveen521kk merged commit 5157393 into master Jan 27, 2021
@naveen521kk naveen521kk deleted the for-new-pr branch January 27, 2021 13:46
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.

2 participants