diff --git a/src/deps/optional-lite b/src/deps/optional-lite index a006f229a7..be720ebfd7 160000 --- a/src/deps/optional-lite +++ b/src/deps/optional-lite @@ -1 +1 @@ -Subproject commit a006f229a77b3b2dacf927e4029b8c1c60c86b52 +Subproject commit be720ebfd7add22abe60e49602735de9231105d0