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

Combine scattered config #2352

Merged

pirj merged 1 commit into master from combine-config

Jun 5, 2020

Member

pirj commented Jun 5, 2020

No description provided.


          Combine scattered config

a18e334

pirj self-assigned this

benoittgt approved these changes

View reviewed changes

pirj merged commit 71c4364 into master

pirj deleted the combine-config branch

June 5, 2020 20:17

Member Author

pirj commented Jun 5, 2020

It was green, but Travis slow to report that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment