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