rm unused optional header

2025-01-21 12:29:51 +00:00 · 2025-01-21 12:29:51 +00:00 · cbb9b819da
commit cbb9b819da
parent 9d8ebd62c6
1 changed files with 0 additions and 1 deletions
--- 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>