--- components/group_replication_resource_manager/resource_manager_memory_stats.h.orig	2026-07-10 11:18:36 UTC
+++ components/group_replication_resource_manager/resource_manager_memory_stats.h
@@ -6,6 +6,7 @@
 #define GR_RESOURCE_MANAGER_MEMORY_STATS
 
 #include <cerrno>
+#include <ctime>
 #include <cstdint>
 #include <cstring>
 #include <string>