Remove old TODO item - user-error was added
commit90790560581cfcb7728e1ce2094b4f42dd381192
authorGlenn Morris <rgm@gnu.org>
Fri, 8 Feb 2013 17:14:58 +0000 (8 09:14 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 8 Feb 2013 17:14:58 +0000 (8 09:14 -0800)
tree0af870cfbdd76441fb8f3cf3ddf4a23d336ed34f
parent61c35280432707222606823d5038510321f0ee50
Remove old TODO item - user-error was added
etc/TODO