Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
ITM: exhaustively check feature support during
configure
; improve standard correctness, documentation #383base: master
Are you sure you want to change the base?
ITM: exhaustively check feature support during
configure
; improve standard correctness, documentation #383Changes from all commits
508292c
8a2ab27
e1a84c7
bb7319b
c856ff7
570ce0a
61ee6ed
e7b4a45
4e1230e
2c99e80
189c3e4
1e85dd0
a9a6f55
f2a1d92
7b2dbb0
c8b8ca4
c80da84
e18b52d
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing