Update NEWS for fix of Bug#4090.