From cbb9b819da848453471c0afd1b33004386670e61 Mon Sep 17 00:00:00 2001
From: Olivier Chafik <ochafik@google.com>
Date: Tue, 21 Jan 2025 12:29:51 +0000
Subject: [PATCH] rm unused optional header

---
 examples/server/server.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/server/server.cpp b/examples/server/server.cpp
index 865be4d8d..5f08c4ecc 100644
--- 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>