Update optional from develop

boost-commitbot · boost-commitbot · commit 861e894912de · 2024-10-17T18:37:09.000Z
diff --git a/libs/optional b/libs/optional
@@ -1 +1 @@
-Subproject commit 5ad8b01512a9ad14f49eaecd49f90a5b79e7263e
+Subproject commit c716bc552b688bc1030663fd15f2ddf53067612b
