Re #8904. Update the version number to 3.1.