Add #7539 to NEWS