* etc/PROBLEMS: Remove yet more old stuff; more small edits
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:33:46 +0000 (21:33 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:33:46 +0000 (21:33 -0500)
commit9a00bed56fa4c0ef121518e41967b777cf28c97f
treedb8e861cc0b838c1aeb69db10ba2bb5e60826b85
parent05834033161a7769b02dd2eea976938bb1795733
* etc/PROBLEMS: Remove yet more old stuff; more small edits
etc/PROBLEMS