This project is mirrored from https://github.com/ManimCommunity/manim.git.
Pull mirroring updated .
Fix https://github.com/ManimCommunity/manim/issues/2875
Manim v0.15.2 The full changelog can be found at https://docs.manim.community/en/latest/changelog/0.15.2-changelog.html.