From 4491fb4b40d696aeb4d9967c27be7e5e1f30562a Mon Sep 17 00:00:00 2001
From: Dain Nilsson <dain@yubico.com>
Date: Fri, 24 Feb 2023 14:24:33 +0100
Subject: [PATCH] Add OS info to diagnostics output.

---
 lib/about_page.dart | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/about_page.dart b/lib/about_page.dart
index ebac783a..201c5d55 100755
--- a/lib/about_page.dart
+++ b/lib/about_page.dart
@@ -162,6 +162,8 @@ class AboutPage extends ConsumerWidget {
                   data.insert(0, {
                     'app_version': version,
                     'dart': Platform.version,
+                    'os': Platform.operatingSystem,
+                    'os_version': Platform.operatingSystemVersion,
                   });
                   final text = const JsonEncoder.withIndent('  ').convert(data);
                   await ref.read(clipboardProvider).setText(text);