Skip to content

Conversation

chrisb2244
Copy link
Contributor

Fixes #123 according to description/instructions given in the issue.

@Gathros
Copy link
Contributor

Gathros commented Jun 6, 2018

You fixed this in #122.

@chrisb2244
Copy link
Contributor Author

Huh... My bad. Guess I misunderstood how the PR would work. Didn't know an existing PR would automatically update with new commits. Deliberately cherry-picked this one onto a branch checked out from algorithm-archivists to avoid making it contain the commits in #122.

@Gathros
Copy link
Contributor

Gathros commented Jun 6, 2018

If you add a commit to a branch that has a PR then the commit gets added to the PR. I'll close this PR for you.

@Gathros Gathros closed this Jun 6, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants