remove unused optional header.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
gerbera · Nov 15, 2021 · 067ed55 · 067ed55
1 parent 8ffc808
commit 067ed55
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/util/process_executor.cc b/src/util/process_executor.cc
@@ -32,7 +32,6 @@
 #include "process_executor.h" // API
 
 #include <csignal>
-#include <optional>
 #include <sys/wait.h>
 #include <thread>
 #include <unistd.h>