* etc/PROBLEMS: Remove old information no longer of relevance.
authorGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 05:51:43 +0000 (22:51 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 05:51:43 +0000 (22:51 -0700)
commitf995538b10193862829c5fc99732e74954c2d803
tree9c2c59c0187ee923debcf61bb36c444a4b556105
parent81ac4f35366bfc525fa6ed89e0b5aaa90a05c902
* etc/PROBLEMS: Remove old information no longer of relevance.
etc/ChangeLog
etc/PROBLEMS