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.

Sign up for GitHub

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

Jump to bottom

fixes bug #270 #271

Closed

johannesgerer wants to merge 1 commit into strues:master from johannesgerer:master

johannesgerer commented Jan 25, 2017


          fixes bug strues#270

edbcbfc

yalishizhude commented Feb 10, 2017

Please merge thi PR quickly...

Author

johannesgerer commented Feb 10, 2017

There is no merging activity since Jun 2016

Collaborator

jgnewman commented Apr 14, 2017

Duplicate of this pr which I'm hoping can be merged soon.

@xorcery you can close this one after merging the other.

jgnewman closed this

Collaborator

jgnewman commented Apr 21, 2017

Closed because we merged a duplicate PR from earlier

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

Labels

None yet