rm unused optional header

Olivier Chafik · Olivier Chafik · commit cbb9b819da84 · 2025-01-21T12:29:51.000Z
diff --git a/examples/server/server.cpp b/examples/server/server.cpp
@@ -26,7 +26,6 @@
 #include <deque>
 #include <memory>
 #include <mutex>
-#include <optional>
 #include <signal.h>
 #include <thread>
 #include <unordered_map>
