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