[pitivi] Fix double space in "GNOME documentation"

[Alexandru Băluț <alexbalut src gnome org>]

commit 0263b2d100c75fffdf9fa000abd3678332fcdc57
Author: scootergrisen <scootergrisen gmail com>
Date:   Tue Oct 13 20:06:47 2020 +0000

    Fix double space in "GNOME  documentation"

 pitivi/utils/misc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/pitivi/utils/misc.py b/pitivi/utils/misc.py
index d983eda23..9897c2dd4 100644
--- a/pitivi/utils/misc.py
+++ b/pitivi/utils/misc.py
@@ -274,7 +274,7 @@ def show_user_manual(page=None):
                                    message_type=Gtk.MessageType.ERROR,
                                    buttons=Gtk.ButtonsType.OK,
                                    text=_("Failed to open the user manual."
-                                          " Make sure to have either the `yelp` GNOME "
+                                          " Make sure to have either the `yelp` GNOME"
                                           " documentation viewer or a web browser"
                                           " installed"))
         dialog.run()