introducing filter to etdumpgen#9937

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

Gasoonjia:export-D72151631Gasoonjia/executorch-1:export-D72151631Copy head branch name to clipboard