Update NEWS for fix for Bug#4087.