* admin/FOR-RELEASE: Add note about bad Texinfo node names
authorGlenn Morris <rgm@gnu.org>
Tue, 13 Aug 2013 07:04:10 +0000 (00:04 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 13 Aug 2013 07:04:10 +0000 (00:04 -0700)
commit16bcc96df4447cb5c47e53a4512671a2da7504f8
tree6e93431ba4f27186bd3c23203fb173d8c4fff148
parent8121e4813da7e5898eb216a5de3c17f4875cac61
* admin/FOR-RELEASE: Add note about bad Texinfo node names
admin/FOR-RELEASE