[gnome-tetravex] Better use of DateTime.

[Arnaud B. <arnaudb src gnome org>]

commit 3a8b0d2da69897d3dbd1e444ea87f2782cfdbae8
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Thu Sep 19 12:41:44 2019 +0200

    Better use of DateTime.

 src/score-dialog.vala | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/src/score-dialog.vala b/src/score-dialog.vala
index 4fae064..66148fb 100644
--- a/src/score-dialog.vala
+++ b/src/score-dialog.vala
@@ -103,8 +103,7 @@ private class ScoreDialog : Dialog
             if (entry.size != size)
                 continue;
 
-            /* Translators: that is the date at which a game was played, as seen in the Scores dialog; the 
%d will be replaced by the day number (two digits, padded with 0 in needed), the %m by the month number (two 
digits, padded with 0 in needed), and the %Y by the year (four digits); other replacements are possible, see 
documentation of g_date_time_format(); you're free here! */
-            string date_label = entry.date.format (_("%d/%m/%Y"));
+            string date_label = entry.date.format ("%x");
 
             string time_label;
             if (entry.duration >= 3600)