A pretty small fix... maybe it used to be this way? #29

merged 1 commit into from Jul 18, 2012


None yet

2 participants

nilbus commented Jul 18, 2012

No description provided.

@mpapis mpapis merged commit 848ead5 into rvm:master Jul 18, 2012
@mpapis mpapis was assigned Jul 18, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment