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

Bugsbane master #710

Merged
merged 22 commits into from Aug 17, 2016
Merged

Bugsbane master #710

merged 22 commits into from Aug 17, 2016

Conversation

georgehrke
Copy link
Contributor

rebased #699

@mention-bot
Copy link

@georgehrke, thanks for your PR! By analyzing the annotation information on this pull request, we identified @Mar1u5, @enoch85 and @tcitworld to be potential reviewers

@georgehrke georgehrke merged commit 667a861 into master Aug 17, 2016
@georgehrke georgehrke deleted the Bugsbane-master branch August 17, 2016 20:16
@coveralls
Copy link

coveralls commented Aug 17, 2016

Coverage Status

Coverage remained the same at 26.437% when pulling 7dfb7cb on Bugsbane-master into 1c2dcb0 on master.

2 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 26.437% when pulling 7dfb7cb on Bugsbane-master into 1c2dcb0 on master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 26.437% when pulling 7dfb7cb on Bugsbane-master into 1c2dcb0 on master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants