Skip to content
This repository was archived by the owner on Dec 6, 2022. It is now read-only.

Conversation

@joschi
Copy link
Owner

@joschi joschi commented Jul 20, 2020

@joschi joschi added the enhancement New feature or request label Jul 20, 2020
@joschi joschi self-assigned this Jul 20, 2020
@joschi joschi added this to the 2.2.0 milestone Jul 20, 2020
@joschi joschi closed this Jul 20, 2020
@joschi joschi reopened this Jul 20, 2020
@joschi
Copy link
Owner Author

joschi commented Jul 20, 2020

@davidkarlsen Would you like to review this PR?

@joschi joschi merged commit 5f767b2 into master Jul 20, 2020
@joschi joschi deleted the issue-10-overwrite-settings branch July 20, 2020 11:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Avoid updating settings.xml

3 participants