From a66ee4109ee84a4a501dbaa29580cdefe1aadd36 Mon Sep 17 00:00:00 2001
From: Stephan Witt <switt@lyx.org>
Date: Wed, 7 Dec 2022 00:08:11 +0100
Subject: [PATCH] Add OS version info to About box.

---
 src/frontends/qt/GuiAbout.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/frontends/qt/GuiAbout.cpp b/src/frontends/qt/GuiAbout.cpp
index d4173fae8b..16f8be4298 100644
--- a/src/frontends/qt/GuiAbout.cpp
+++ b/src/frontends/qt/GuiAbout.cpp
@@ -290,6 +290,12 @@ static QString version(bool const plain = false)
 	else
 		out << "</p><p>";
 	out << toqstr(bformat(_("Qt Version (compile-time): %1$s"), from_ascii(QT_VERSION_STR)));
+	if (plain)
+		out << '\n';
+	else
+		out << "</p><p>";
+	out << toqstr(bformat(_("OS Version (run-time): %1$s"),
+		qstring_to_ucs4(QSysInfo::prettyProductName())));
 	if (plain)
 		out << '\n';
 	else
-- 
2.39.5