# 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,