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

type alias, not type #223

Merged

debois merged 1 commit into debois:master from unknown repository

Sep 9, 2016

ghost commented Sep 3, 2016

I think.


          type alias, not type

82d28fb

I think.

Contributor

OvermindDL1 commented Sep 4, 2016

Looks like this should be merged to me?

Owner

debois commented Sep 6, 2016

Absolutely. Thanks!

1 similar comment

Owner

debois commented Sep 6, 2016

Absolutely. Thanks!

debois merged commit 7dec14d into debois:master

ghost deleted the patch-1 branch

September 12, 2016 13:16

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

Labels

None yet