Allow callers to ignore selected critical extensions#485

xyzzyz wants to merge 1 commit intorustls:mainrustls/webpki:mainfrom

xyzzyz:feature/ignore-critical-extensionsxyzzyz/webpki:feature/ignore-critical-extensionsCopy head branch name to clipboard