Remove unnecessary field in optional#8720
Closed
barakugav wants to merge 1 commit intopytorch:mainfrom
barakugav:optional
Closed
Remove unnecessary field in optional#8720barakugav wants to merge 1 commit intopytorch:mainfrom barakugav:optional
barakugav wants to merge 1 commit intopytorch:mainfrom
barakugav:optional