Re: patch for bug 443 (ENCODE-UNIVERSAL-TIME effectively ignores TIME-ZONE argument)

After reapplying the original patch (and thereby removing Robert Dodier's changes), things seem much better in that the implementation now no longer ignores the time zone argument to ENCODE-UNIVERSAL-TIME and the ANSI test regressions have disappeared. I consider this issue to be resolved unless someone else pipes up. -- "A screaming comes across the sky. It has happened before, but there is nothing to compare to it now."