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