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

Bug/findbugs nonnull info null #109

Merged
merged 2 commits into from Sep 30, 2016

Conversation

Projects
None yet
3 participants
@oleg-nenashev
Copy link
Member

oleg-nenashev commented Sep 30, 2016

Just a leftover from #103

@reviewbybees @recena @rsandell @abayer

@oleg-nenashev

This comment has been minimized.

Copy link
Member Author

oleg-nenashev commented Sep 30, 2016

Contains another commit since I've pushed master after creating the PR, but should be safe

@recena

This comment has been minimized.

Copy link
Contributor

recena commented Sep 30, 2016

🐝

@abayer

This comment has been minimized.

Copy link
Member

abayer commented Sep 30, 2016

🐝

@oleg-nenashev

This comment has been minimized.

Copy link
Member Author

oleg-nenashev commented Sep 30, 2016

@reviewbybees done
Merging as a maintainer

@oleg-nenashev oleg-nenashev merged commit 4d86931 into jenkinsci:master Sep 30, 2016

1 check passed

Jenkins This pull request looks good
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.