X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.c;h=cd4d751c6af4ef6c875f63fc061c1d5bbf710a51;hb=698f289d1ecf1620aa5429599f2e76db23cff452;hp=9d1ccf8246297243ef4a58c210dadbf1e086f22f;hpb=bc9098242e54d481b2c5e2cef970568ab5e953cb;p=pspp

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index 9d1ccf8246..cd4d751c6a 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -71,8 +71,8 @@ about_new (GtkMenuItem *m, GtkWindow *parent)
   gtk_about_dialog_set_translator_credits 
     (
      GTK_ABOUT_DIALOG (about),
-     /* TRANSLATORS: Use this string to list the people who have helped with
-	translation to your language. */
+     /* TRANSLATORS: Do not translate this string.  Instead, put the names of the people
+	who have helped in the translation. */
      _("translator-credits")
      );