From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 18 Jan 2016 06:48:32 +0000 (+0100)
Subject: Help menu now uses "version" instead of "bare version".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=c8b4b18c7cf4c49d12e38a2fdfa0370ea7122787

Help menu now uses "version" instead of "bare version".
---

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index 46d4032465..279f5ef55d 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -46,7 +46,7 @@ about_new (GtkMenuItem *mmm, GtkWindow *parent)
   gtk_about_dialog_set_website (GTK_ABOUT_DIALOG (about), PACKAGE_URL);
 
   gtk_about_dialog_set_version (GTK_ABOUT_DIALOG (about),
-				bare_version);
+				version);
 
   gtk_about_dialog_set_authors (GTK_ABOUT_DIALOG (about),
 				(const gchar **) authors);