Skip to content

Conversation

@aentinger
Copy link
Contributor

Since the library is already in the library manager index the parameter library-manager needs to be set to update.

…er library-manager needs to be set to update.
@aentinger aentinger added the type: enhancement Proposed improvement label Feb 2, 2021
@aentinger aentinger self-assigned this Feb 2, 2021
@aentinger aentinger merged commit d8ec71a into main Feb 2, 2021
@aentinger aentinger deleted the fix-lint-library-is-on-index branch February 2, 2021 08:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants