|
From: | Paul Eggert |
Subject: | bug#11875: EMACS_TIME simplification |
Date: | Tue, 10 Jul 2012 16:27:42 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:13.0) Gecko/20120615 Thunderbird/13.0.1 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |