NEWS update and version change for 3.12.7.1