Skip to content

Option to disable loading default configurations files#789

Merged
rodjek merged 1 commit into
rodjek:masterfrom
dioni21:master
Mar 23, 2018
Merged

Option to disable loading default configurations files#789
rodjek merged 1 commit into
rodjek:masterfrom
dioni21:master

Conversation

@dioni21

@dioni21 dioni21 commented Dec 8, 2017

Copy link
Copy Markdown
Contributor

My proposal to issue #787

Fixes #787

@rnelson0 rnelson0 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I do not see any obvious unintended side effects from the change itself. As it is a new option that defaults to off, I believe it would be okay to merge as-is and then implement any fixes for unintended side effects as they are observed.

@rodjek

rodjek commented Dec 12, 2017

Copy link
Copy Markdown
Owner

Yeah, I rebased to fix the build failures yesterday and given the scope of the change, I'm happy to make it part of 2.3.4

@rodjek rodjek added this to the 2.3.4 milestone Dec 12, 2017
@rodjek rodjek merged commit f69902c into rodjek:master Mar 23, 2018
@rodjek rodjek added the feature label Mar 25, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants