Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:43:29 +0000 (07:43 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:43:29 +0000 (07:43 +0000)
commit14395431bd08a9fa10740c8206265accc2501e5c
tree5ebd518fa52a64f1d670b4fb435c47cc71a7fba5
parent4827f21f5782d59c48f93a1024f0ca372a302a4b
Tweak previous change.
etc/PROBLEMS