On Mon, Oct 8, 2018 at 3:17 AM Tim Robertson <[email protected]> wrote:
> > Do we correct release notes when mistakes are spotted? > I think we should, yes. Release notes are long-lived documents that should be accurate. The correction should be mentioned in the notes so that anyone who previously read the incorrect release notes is alerted. Kenn
