From 17e74d49ddea570baef49b99f78c42e432299ef6 Mon Sep 17 00:00:00 2001
From: Kjell Ahlstedt <kjellahlstedt@gmail.com>
Date: Sun, 12 Mar 2023 17:04:33 +0100
Subject: Gio::Settings: Add an #include

---
 gio/src/settings.hg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gio/src/settings.hg b/gio/src/settings.hg
index 66c8b4d5..d3dd6b9a 100644
--- a/gio/src/settings.hg
+++ b/gio/src/settings.hg
@@ -19,6 +19,7 @@ _CONFIGINCLUDE(giommconfig.h)
 #include <glibmm/object.h>
 #include <glibmm/variant.h>
 #include <giomm/action.h>
+#include <optional>
 
 _DEFS(giomm,gio)
 _PINCLUDE(glibmm/private/object_p.h)
-- 
cgit v1.2.1