Re: [tz] [PATCH] A few more fixes related to AEST/AEDT etc. (Thanks to Tim Parenti.)

July 1, 2014


      Thanks for that patch (and for your kind remarks).  I installed it, 
along with the attached minor fixup.

Paul Eggert