On Fri, Jun 30, 2017 at 02:12:16PM -0400, Matthew Miller wrote:
> Oh, sorry -- I read too quickly and I'm doing too many things at once.
> I'd like to consider dropping packaged release notes entirely -- but if
> we have them, the should be the right version.
"If branded or generic release notes exist in the release repository,
they must up-to-date for the current version. If they are shipped on
media, they must match."
Or something like that. Or we could just take the decision to drop
packaging them entirely and not bother to mention it.