From ad0d5f9d403ec42aa68e1bb0db39ac9dcddcf907 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Fri, 23 Aug 2024 21:35:53 +0200
Subject: [PATCH] Not needed anymore.

---
 src/frontends/qt/GuiCommandBuffer.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/frontends/qt/GuiCommandBuffer.h b/src/frontends/qt/GuiCommandBuffer.h
index 7228636b14..89c12c62f1 100644
--- a/src/frontends/qt/GuiCommandBuffer.h
+++ b/src/frontends/qt/GuiCommandBuffer.h
@@ -14,8 +14,6 @@
 #ifndef GUICOMMANDBUFFER_H
 #define GUICOMMANDBUFFER_H
 
-#include "support/docstring.h"
-
 #include <QPushButton>
 #include <QWidget>