Skip to content

Conversation

GregoireW
Copy link

Attempt to solve #5937

This is made to add some flexibility on the configuration.
@jzheaux
Copy link
Contributor

jzheaux commented Feb 11, 2019

@GregoireW FYI, in #6499 another possible solution is being discussed.

@GregoireW
Copy link
Author

Closing as alternate PR as been merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants