From 3ffbaf473af07ee955e03ff24f63eea32010bb8c Mon Sep 17 00:00:00 2001
From: Olivier Lebaillif <olivier.lebaillif@viavisolutions.us>
Date: Mon, 5 Oct 2026 15:29:59 +0000
Subject: [PATCH] Add missing <optional> include to drm.h

DrmRenderer::DrmProperty uses std::optional but drm.h relied on it being
pulled in transitively by another header. This isn't guaranteed and fails
to compile with GCC 13 / libstdc++ on aarch64:

    drm.h:89:14: error: 'optional' in namespace 'std' does not name a template type

Include <optional> explicitly alongside the other standard-library headers.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
---
 app/streaming/video/ffmpeg-renderers/drm.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/streaming/video/ffmpeg-renderers/drm.h b/app/streaming/video/ffmpeg-renderers/drm.h
index 3060bef195..d63a22c8cd 100644
--- a/app/streaming/video/ffmpeg-renderers/drm.h
+++ b/app/streaming/video/ffmpeg-renderers/drm.h
@@ -13,6 +13,7 @@
 #include <set>
 #include <unordered_map>
 #include <mutex>
+#include <optional>
 
 // This is only defined in Linux 6.8+ headers
 #ifndef DRM_CAP_ATOMIC_ASYNC_PAGE_FLIP