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