On Mon, Oct 8, 2018 at 3:17 AM Tim Robertson <timrobertson...@gmail.com> 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