[mutter] tools/get-state: Round refresh rates to three decimal places

[Marge Bot <marge-bot src gnome org>]

commit 9a2c5d7d74f76215d434de99cef407d75979d57a
Author: Daniel van Vugt <daniel van vugt canonical com>
Date:   Wed Aug 17 16:02:04 2022 +0800

    tools/get-state: Round refresh rates to three decimal places
    
    Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2465>

 tools/get-state.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/tools/get-state.py b/tools/get-state.py
index b4494af93e..e704793207 100755
--- a/tools/get-state.py
+++ b/tools/get-state.py
@@ -113,7 +113,7 @@ class MonitorConfig:
                 self.print_data(level=3, is_last=False, lines=lines,
                                 data=f'Dimension: {mode[1]}x{mode[2]}')
                 self.print_data(level=3, is_last=False, lines=lines,
-                                data=f'Refresh rate: {mode[3]}')
+                                data=f'Refresh rate: {mode[3]:.3f}')
                 self.print_data(level=3, is_last=False, lines=lines,
                                 data=f'Preferred scale: {mode[4]}')
                 self.print_data(level=3, is_last=False, lines=lines,