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