git-gui: Pluralize timestamps within the options menu.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

diff --git a/git-gui b/git-gui
index 2d82152b362f9b34722b88b72f64539da2380a16..465c2f388b3ab0d8407fd28db0b80f768d4d080c 100755 (executable)
--- a/git-gui
+++ b/git-gui
@@ -1491,7 +1491,7 @@ menu .mbar.push
 
 # -- Options Menu
 menu .mbar.options
-.mbar.options add checkbutton -label {Trust File Modification Timestamp} \
+.mbar.options add checkbutton -label {Trust File Modification Timestamps} \
        -offvalue false \
        -onvalue true \
        -variable cfg_trust_mtime