Drop unused include

mafik · Oct 17, 2023 · c5ccf85 · c5ccf85
1 parent 0b94c27
commit c5ccf85
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/dns.hh b/src/dns.hh
@@ -2,7 +2,6 @@
 
 #include <chrono>
 #include <functional>
-#include <optional>
 #include <string>
 #include <vector>