Skip to content
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.

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

configure: show features as well in the final summary #3569

wants to merge 1 commit into from


Copy link

@bagder bagder commented Feb 14, 2019

No description provided.

@bagder bagder added the build label Feb 14, 2019
Copy link

@MarcelRaad MarcelRaad left a comment


@bagder bagder closed this in ad37368 Feb 14, 2019
@bagder bagder deleted the bagder/configure-features branch Feb 14, 2019
@lock lock bot locked as resolved and limited conversation to collaborators May 15, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
None yet

Successfully merging this pull request may close these issues.

None yet

2 participants