Skip to content

Conversation

@Mugen87
Copy link
Collaborator

@Mugen87 Mugen87 commented Oct 15, 2020

Minor clean up.

@mrdoob mrdoob added this to the r122 milestone Oct 15, 2020
@mrdoob mrdoob merged commit 7410f62 into mrdoob:dev Oct 15, 2020
@mrdoob
Copy link
Owner

mrdoob commented Oct 15, 2020

Thanks!

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