From f47ea0dd5e851ae2a315faa46c03d579948331c9 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sun, 20 Dec 2020 12:42:04 +0100
Subject: [PATCH] Add missing header include

---
 src/Server.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Server.h b/src/Server.h
index 2f26b8aef7..215b7e930d 100644
--- a/src/Server.h
+++ b/src/Server.h
@@ -15,6 +15,7 @@
 #define SERVER_H
 
 #include <memory>
+#include <string>
 #include <vector>
 
 #ifdef _WIN32
-- 
2.39.5