Commit 1938a43e2cc40a7a849fc3ae918fc8041d18562a

Paul Eggert 2006-08-14T19:22:52

Change to more-permissive notice.