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

Auto-unboxing of Integers removed #7

Closed
wants to merge 2 commits into from
Closed

Auto-unboxing of Integers removed #7

wants to merge 2 commits into from

Conversation

amyboyd
Copy link

@amyboyd amyboyd commented Oct 15, 2010

This is my first try at using GitHub, so I only made a small (but useful) change. Please let me know if this pull request is done correctly or not. Thanks!

@guillaumebort
Copy link
Contributor

I guess that the 2 pull requests are the same? I close this one.

lmcalpin pushed a commit to lmcalpin/play that referenced this pull request Apr 19, 2011
This pull request was closed.
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.

None yet

2 participants