# HG changeset patch
# User wenzelm
# Date 1475957311 -7200
# Node ID 6cfd429a4296195648f5b29785d7542f559157d0
# Parent  68619fa37ca77d2953b46dcf6d32d2f63ad2a696
prefer explicit timezone offset for printing;

diff -r 68619fa37ca7 -r 6cfd429a4296 src/Pure/Tools/build_log.scala
--- a/src/Pure/Tools/build_log.scala	Sat Oct 08 21:31:56 2016 +0200
+++ b/src/Pure/Tools/build_log.scala	Sat Oct 08 22:08:31 2016 +0200
@@ -97,7 +97,7 @@
     {
       val fmts =
         Date.Formatter.variants(
-          List("EEE MMM d HH:mm:ss VV yyyy", "EEE MMM d HH:mm:ss O yyyy"),
+          List("EEE MMM d HH:mm:ss O yyyy", "EEE MMM d HH:mm:ss VV yyyy"),
           List(Locale.ENGLISH, Locale.GERMAN)) :::
         List(
           DateTimeFormatter.RFC_1123_DATE_TIME,