Release notes for #842