Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Jul 19, 2017

I don't know if you want the formatting, so feel free to tell me so and close this PR.

@rth
Copy link
Contributor

rth commented May 15, 2019

This PR can probably be closed, as the original author no longer has an account and if formatting is needed probably better to do it with the latest stable rust as opposed to rust nightly from 2017 as done here.

@theodore-s-beers theodore-s-beers mentioned this pull request Aug 22, 2019
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.

1 participant