Use standard date format for PS timestamp

Alexis Bienvenüe · Alexis Bienvenüe · commit c56dae7c52af · 2016-07-13T18:04:07.000+02:00
diff --git a/lib/matplotlib/backends/backend_ps.py b/lib/matplotlib/backends/backend_ps.py
@@ -1092,7 +1092,7 @@ def print_figure_impl():
             source_date_epoch = os.getenv("SOURCE_DATE_EPOCH")
             if source_date_epoch:
                 source_date = datetime.datetime.utcfromtimestamp(
-                    int(source_date_epoch) ).strftime("%a %b %e %T %Y")
+                    int(source_date_epoch) ).strftime("%a %b %d %H:%M:%S %Y")
             else:
                 source_date = time.ctime()
             print("%%CreationDate: "+source_date, file=fh)
diff --git a/lib/matplotlib/tests/test_backend_ps.py b/lib/matplotlib/tests/test_backend_ps.py
@@ -183,7 +183,7 @@ def test_source_date_epoch():
     # because the produced timestamp comes from ghostscript:
     # %%CreationDate: D:20000101000000Z00\'00\', and this could change
     # with another ghostscript version.
-    _test_source_date_epoch("ps", b"%%CreationDate: Sat Jan  1 00:00:00 2000")
+    _test_source_date_epoch("ps", b"%%CreationDate: Sat Jan 01 00:00:00 2000")
 
 
 @cleanup
