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