1--- src/Gui/Selection.h.orig 2024-03-20 18:17:17 UTC 2+++ src/Gui/Selection.h 3@@ -25,6 +25,7 @@ 4 #define GUI_SELECTION_H 5 6 #include <deque> 7+#include <array> 8 #include <list> 9 #include <string> 10 #include <vector> 11 12
