* etc/PROBLEMS: Remove some more obsolete information.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:23:08 +0000 (20:23 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:23:08 +0000 (20:23 -0700)
commitc64233b26bec70cacba63e5155914b659dc088b6
tree39db8df71ea518c14092ff394a65c698de203339
parentf1a5d776c4985b3ff1a2c6c17dd71dedf5d726e8
* etc/PROBLEMS: Remove some more obsolete information.
Also some re-filling.
etc/PROBLEMS