Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correct refactoring error #459

Merged
merged 1 commit into from
Aug 22, 2018
Merged

Conversation

ChrisMaddock
Copy link
Member

Correct a refactoring error @mikkelbu spotted in #454.

Thanks - good catch!

@rprouse rprouse merged commit 8c8a075 into ChrisMaddock-patch-2 Aug 22, 2018
@mikkelbu
Copy link
Member

@ChrisMaddock Is it on purpose that this is merged into ChrisMaddock-patch-3 and not master. It will probably end up on master eventually, but I just found it strange 😄.

@ChrisMaddock
Copy link
Member Author

@mikkelbu No. ☹️ I did it via the GitHub website, somethjng weird must have happened - good spot! On my phone right now, will try and get back to this!

@jnm2 jnm2 deleted the ChrisMaddock-patch-3 branch September 7, 2018 03:10
@ChrisMaddock ChrisMaddock added this to the 3.10 milestone Dec 22, 2018
@ChrisMaddock ChrisMaddock self-assigned this Dec 22, 2018
@ChrisMaddock ChrisMaddock removed this from the 3.10 milestone Dec 22, 2018
@ChrisMaddock
Copy link
Member Author

Just ended up on this PR for unrelated reasons, and realised it never did get into master! 😱 Attempt no. 3 at: #518

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