Subject: EMACS_TIME simplification
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Tue, 10 Jul 2012 16:27:42 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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.