* etc/PROBLEMS: Small copyedits.
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Mar 2014 22:56:29 +0000 (15:56 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Mar 2014 22:56:29 +0000 (15:56 -0700)
commit3e702d1649d4f4f67ed355a26ff707733c39e6d8
tree42f2d8027273a6db1829c7dddc9bc6a46e54e7bf
parent4118be693dfc66e3640276e404012135ffbf07d4
* etc/PROBLEMS: Small copyedits.
etc/PROBLEMS