Skip to content

Conversation

@danluu
Copy link
Contributor

@danluu danluu commented Apr 19, 2013

Sorry, my change for #5916 wasn't correct -- it only worked by coincidence. This should actually work for any file name.

@brson
Copy link
Contributor

brson commented Apr 20, 2013

Thanks!

bors added a commit that referenced this pull request Apr 20, 2013
Sorry, my change for #5916 wasn't correct -- it only worked by coincidence. This should actually work for any file name.
@bors bors closed this Apr 20, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Aug 28, 2020
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