* etc/PROBLEMS: Whitespace fix.
commit340ced7ecbfbc40a5db23eedc25581eb462465df
authorGlenn Morris <rgm@gnu.org>
Fri, 13 Jun 2014 19:41:59 +0000 (13 15:41 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 13 Jun 2014 19:41:59 +0000 (13 15:41 -0400)
tree7681f0f8ba807df17624e36358dabb8ae2e650fe
parentbf26b463ea0e7621255f73d22893a93754694800
* etc/PROBLEMS: Whitespace fix.
etc/PROBLEMS