Skip to content

Conversation

@WestLangley
Copy link
Collaborator

As proposed in #14752 (comment).

This is easily-reverted if it turns out we don't need it...

@WestLangley WestLangley added this to the r108 milestone Aug 23, 2019
@WestLangley
Copy link
Collaborator Author

This PR requires a rebuild.

@mrdoob
Copy link
Owner

mrdoob commented Aug 23, 2019

Sweet!

@mrdoob mrdoob merged commit b1ed69e into mrdoob:dev Aug 23, 2019
@mrdoob
Copy link
Owner

mrdoob commented Aug 23, 2019

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.

3 participants