Skip to content

Conversation

@The-Compiler
Copy link
Member

Feel free to delete the branch when it's merged, I was too lazy to do it outside the webinterface

@coveralls
Copy link

coveralls commented Jul 28, 2016

Coverage Status

Coverage decreased (-1.2%) to 98.788% when pulling 52205cc on doc-typo-fix into 40c3e63 on master.

@nicoddemus
Copy link
Member

Thanks, didn't notice it myself.

FWIW I find the web interface excellent for this kind of quick-fix (so I don't feel you were lazy at all 😜 )

@nicoddemus nicoddemus merged commit 9fa837c into master Jul 28, 2016
@nicoddemus nicoddemus deleted the doc-typo-fix branch July 28, 2016 14:19
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.

4 participants