Skip to content

Conversation

gaearon
Copy link
Collaborator

@gaearon gaearon commented Dec 11, 2017

No significant changes except an option rename.
The build output seems the same (the minor change in DEV size is from a previously merged PR).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants