c10::optional -> std::optional#6642

facebook-github-bot merged 1 commit intopytorch:mainpytorch/executorch:mainfrom

r-barnes:export-D65439045r-barnes/executorch:export-D65439045Copy head branch name to clipboard