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