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

Tags types #35

Merged

rjz merged 1 commit into master from tagged-types

Mar 7, 2018

Owner

rjz commented Mar 7, 2018

No description provided.


          Tags types

67718f4

coveralls commented Mar 7, 2018

Coverage increased (+3.06%) to 72.727% when pulling 67718f4 on tagged-types into f955226 on master.

rjz merged commit 874d75c into master

rjz deleted the tagged-types branch

March 7, 2018 04:01

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