Skip to content

Conversation

@ps2
Copy link
Collaborator

@ps2 ps2 commented Mar 6, 2017

Fixing truncated utilitarian small complication

@ps2 ps2 merged commit 514ce93 into dev Mar 6, 2017
@ps2 ps2 deleted the complications branch March 9, 2017 05:44
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