Update NEWS, release notes for changes for Bug#4125.