* etc/PROBLEMS: Remove some old stuff; other small edits
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:06:00 +0000 (21:06 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:06:00 +0000 (21:06 -0500)
commit0d3c6661753ce5fd9f53ff9306b90a73addb8ef2
tree0df7d85959d39dff2f17426e9c0681f06ce0dfbe
parent8303d906782e23353e4cebfcf9f32d27d75d4d14
* etc/PROBLEMS: Remove some old stuff; other small edits
etc/PROBLEMS