Restore portions of my comment, which I found less clear after copyedits
commitd7646461cf8903ae65546025c74d6f6aac577461
authorGlenn Morris <rgm@gnu.org>
Mon, 9 Sep 2013 18:14:50 +0000 (9 14:14 -0400)
committerGlenn Morris <rgm@gnu.org>
Mon, 9 Sep 2013 18:14:50 +0000 (9 14:14 -0400)
tree6edd18df11c8711836cda77ac1b455f9dc4613ad
parent068af12195bfc9eb552936f7b52e2a4501e60593
Restore portions of my comment, which I found less clear after copyedits
configure.ac