Update TODO.xgawk to show that the time extension has been added.

2 files changed, 7 insertions, 4 deletions

diff --git a/ChangeLog b/ChangeLog
index 253daee8..533847ca 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2012-06-10         Andrew J. Schorr     <aschorr@telemetry-investments.com>
 
+	* TODO.xgawk: Addition of time extension moved to "done" section.
+
+2012-06-10         Andrew J. Schorr     <aschorr@telemetry-investments.com>
+
 	* gawkapi.c (api_update_ERRNO_string): Treat boolean true as a request
 	for TRANSLATE, and false as DONT_TRANSLATE.
 
diff --git a/TODO.xgawk b/TODO.xgawk
index 3a600a79..a2f78e86 100644
--- a/TODO.xgawk
+++ b/TODO.xgawk
@@ -10,10 +10,6 @@ To-do list for xgawk enhancements:
 - Attempting to load the same file with -f and -i (or @include) should
   be a fatal error.
 
-- Add time extension to the gawk distro. This defines sleep and gettimeofday.
-  Rename existing gettimeofday by adding some underscores.  Awaiting
-  confirmation of copyright assignment from FSF...
-
 - Develop a libgawk shared library for use by extensions.  Should this
   be hosted in a separate project?
 
@@ -161,3 +157,6 @@ Done:
   stuff in there.
 
 - Running "make install" should install gawkapi.h in /usr/include.
+
+- Add time extension to the gawk distro. This defines sleep and gettimeofday.
+  Renamed existing gettimeofday to getlocaltime.