# HG changeset patch
# User wenzelm
# Date 1475867808 -7200
# Node ID 95469c544b82272a9b9c6851ee35c194fa1999a0
# Parent  f8dfba90e73f696e9d71df4bd8b314edd2878ab0
accept obscure timezone used in 2011;

diff -r f8dfba90e73f -r 95469c544b82 src/Pure/Tools/build_log.scala
--- a/src/Pure/Tools/build_log.scala	Fri Oct 07 21:09:43 2016 +0200
+++ b/src/Pure/Tools/build_log.scala	Fri Oct 07 21:16:48 2016 +0200
@@ -208,6 +208,7 @@
         s => Word.implode(Word.explode(s).map({
           case "CET" | "MET" => "GMT+1"
           case "CEST" | "MEST" => "GMT+2"
+          case "EST" => "GMT+1"  // FIXME ??
           case a => a })))
 
     object Strict_Date