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.

Sign up for GitHub

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

Jump to bottom

[SpotBugs] Add plugin support #230

Closed
aalmiray opened this issue Dec 18, 2019 · 1 comment
Closed

[SpotBugs] Add plugin support #230

aalmiray opened this issue Dec 18, 2019 · 1 comment
Assignees
@aalmiray
Labels
enhancement New feature or request
Milestone
0.31.0

Comments

@aalmiray
Copy link
Collaborator

No description provided.

@aalmiray aalmiray added the enhancement New feature or request label Dec 18, 2019
@aalmiray aalmiray added this to the 0.31.0 milestone Dec 18, 2019
@aalmiray aalmiray self-assigned this Dec 18, 2019
@aalmiray
Copy link
Collaborator Author

Fixed with 67f6b3f

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aalmiray aalmiray

Labels
enhancement New feature or request
Projects
None yet
Milestone
0.31.0
Development

No branches or pull requests
1 participant
@aalmiray