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

Fixes #1, #2. Partially implements #3, #4. #5

Closed
wants to merge 4 commits into from
Closed

Fixes #1, #2. Partially implements #3, #4. #5

wants to merge 4 commits into from

Conversation

Arnavion
Copy link

No description provided.

@emk
Copy link
Owner

emk commented Nov 26, 2016

Wow, this looks great! I'm travelling today but I hope to merge a bunch of PRs tomorrow with any luck. I'll take a look at this then and review/merge it. Thank you so much!

@emk emk assigned emk and Arnavion Nov 26, 2016
@Arnavion
Copy link
Author

I've removed the commit to emit #[allow(missing_docs)] for now based on the discussion in #4.

@Arnavion Arnavion mentioned this pull request Nov 27, 2016
@lucab
Copy link

lucab commented Apr 1, 2017

Bump. Any update on this?

@emk
Copy link
Owner

emk commented Apr 1, 2017

OK, I'm added an assignee, so I should keep better track of this. I was busy with travel and other Rust projects... Thank you for the PR!

@Arnavion
Copy link
Author

🎂

@Arnavion
Copy link
Author

I've sworn off trivial getters entirely so I no longer need this.

@Arnavion Arnavion closed this May 23, 2018
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.

3 participants