Suggest consolidation with user customization when the
commit8c9676fb6da613e472b64d86027f5df1cde34ef9
authorDavid Kastrup <dak@gnu.org>
Sat, 8 Jul 2006 19:36:24 +0000 (8 19:36 +0000)
committerDavid Kastrup <dak@gnu.org>
Sat, 8 Jul 2006 19:36:24 +0000 (8 19:36 +0000)
tree0b384ef9071b6779f5952f20c54ede65bb6de5d5
parent89fb9154901ec4b5633455c7d6064074106e4688
Suggest consolidation with user customization when the
system default of a customized variable changes.
etc/ChangeLog
etc/TODO