-
A file called "Release Notes" is a more obvious place for our release notes than "NEWS", so use that name. Our release notes contain lots of URLs, so make it an HTML file. Remove the "NEWS" file and related targets.
A file called "Release Notes" is a more obvious place for our release notes than "NEWS", so use that name. Our release notes contain lots of URLs, so make it an HTML file. Remove the "NEWS" file and related targets.