Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Gear window size test and fix #10

Merged
merged 5 commits into from
Aug 1, 2017
Merged

Gear window size test and fix #10

merged 5 commits into from
Aug 1, 2017

Conversation

dpc
Copy link
Collaborator

@dpc dpc commented Jul 29, 2017

No description provided.

@dpc
Copy link
Collaborator Author

dpc commented Jul 29, 2017

This is rebased on top of #8

@dpc dpc mentioned this pull request Jul 30, 2017
@aidanhs
Copy link
Owner

aidanhs commented Jul 31, 2017

Seems fine once #8 is merged.

@aidanhs
Copy link
Owner

aidanhs commented Aug 1, 2017

Assuming that you've run the tests, feel free to merge.

@dpc dpc merged commit fb46b49 into aidanhs:master Aug 1, 2017
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