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.

Sign up for GitHub

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

Jump to bottom

Clean up optional-lite references #9534

Merged

snnn merged 1 commit into master from snnn/op

Oct 26, 2021

Member

snnn commented Oct 25, 2021

Description:

Clean up optional-lite references

Motivation and Context

Why is this change required? What problem does it solve?
If it fixes an open issue, please link to the issue here.


          Clean up optional-lite references

fd1843a

snnn requested a review from edgchen1

October 25, 2021 19:19

edgchen1 approved these changes

View reviewed changes

snnn merged commit f92b8e2 into master

snnn deleted the snnn/op branch

October 26, 2021 04:05

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment