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

Header convenient constructors #522

Merged
merged 3 commits into from
May 12, 2015
Merged

Conversation

seanmonstar
Copy link
Member

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 85.5% when pulling e0ccdc0 on header-convenient-constructors into 085d7b0 on master.

@seanmonstar seanmonstar force-pushed the header-convenient-constructors branch from e0ccdc0 to b6114ec Compare May 12, 2015 02:16
@coveralls
Copy link

Coverage Status

Coverage remained the same at 85.5% when pulling b6114ec on header-convenient-constructors into 085d7b0 on master.

seanmonstar added a commit that referenced this pull request May 12, 2015
@seanmonstar seanmonstar merged commit 871f37a into master May 12, 2015
@seanmonstar seanmonstar deleted the header-convenient-constructors branch February 29, 2016 20:08
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