* etc/PROBLEMS: Remove some more old information.
authorGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 06:13:23 +0000 (23:13 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 06:13:23 +0000 (23:13 -0700)
commitb7bd84780e8a409dd1df344a5c6a78339b183d26
treeead0e8dce35dcc7d3a136dddddb6322a5d09a4a0
parentf995538b10193862829c5fc99732e74954c2d803
* etc/PROBLEMS: Remove some more old information.
etc/PROBLEMS