Subject: EMACS_TIME simplification

From: Paul Eggert <[email-masked]>
Date: Tue, 10 Jul 2012 16:27:42 -0700

I pushed that patch, along with one change to
src/makefile.w32-in privately noted to me by
Juanma Barranquero, and am marking this bug as done.