#7241

Merged

Change #include <c10/util/Optional.h> to #include <optional> #7241

JackCaoG merged 1 commit into master from std_optional2

cyyever requested a review from

JackCaoG 1 year ago

Change #include <c10/util/Optional.h> to #include <optional>

cf534701

cyyever force pushed from b7d071ec to cf534701 1 year ago

JackCaoG approved these changes on 2024-06-12

JackCaoG merged c65e87b3 into master 1 year ago

cyyever deleted the std_optional2 branch 1 year ago

Reviewers

JackCaoG

Assignees

No one assigned

Labels

None yet

Milestone

No milestone