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

management.metrics.binders.integration.enabled is not used anymore #14319

Closed
snicoll opened this issue Sep 6, 2018 · 0 comments
Closed

management.metrics.binders.integration.enabled is not used anymore #14319

snicoll opened this issue Sep 6, 2018 · 0 comments
Assignees
@snicoll
Labels
type: documentation A documentation update
Milestone
2.0.5

Comments

@snicoll
Copy link
Member

snicoll commented Sep 6, 2018

Looks like a dead property
@snicoll snicoll added the type: documentation A documentation update label Sep 6, 2018
@snicoll snicoll added this to the 2.0.5 milestone Sep 6, 2018
@snicoll snicoll self-assigned this Sep 6, 2018
@snicoll snicoll closed this as completed in ff8b8c5 Sep 6, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@snicoll snicoll

Labels
type: documentation A documentation update
Projects
None yet
Milestone
2.0.5
Development

No branches or pull requests
1 participant
@snicoll