Fix typos
authorGlenn Morris <rgm@gnu.org>
Wed, 10 Apr 2013 01:20:51 +0000 (18:20 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 10 Apr 2013 01:20:51 +0000 (18:20 -0700)
commitc03cf6f1e1b5d9b42ea3002cb5d3b1152f1baa1b
treeec2ceafee7c4e901f317b481749acf4e856bdea9
parenta8036e4076f6d43537905e3aaf400992fdef38e4
Fix typos
etc/PROBLEMS